Search Results for "user mode linux"
Sort By:
Showing 143 open source projects for "user mode linux"
View related business solutions-
Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
-
Track leads, jobs, and tasks from one easy to use software. You can access your information wherever you are, get everyone on the same page, and grow your business.
-
1
Steel Bank Common Lisp
Common Lisp compiler and runtime
A high performance Common Lisp compiler. In addition to standard ANSI Common Lisp, it provides an interactive environment including an a debugger, a statistical profiler, a code coverage tool, and many other extensions. -
2
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
-
3
bigz
Simple and complete bignum/rational C library with wrappers for C++
bigz is the continuation of an old BigNum project that started its life as a joined INRIA & Dec project in 1989. The current version includes many fixes and improvements. Although not as efficient as, say gmp, it is very small, reasonably efficient and extremely portable. -
4
SoftwareFreedom Project
Remove Inequality by Production of Knowledge.
All authored artifacts are released under SoftwareFreedom License (SFL). Powered by GNU basedline of GLIBC - LINUX - GCC Architect and implement C++23 based Software Infrastructure Tooling and Modules. Pragmatic usage of SBCL and CLOS Target AMD64 architecture with available optimizations. Daily GCC latest 'dev' build -
Innago is a free and easy-to-use property management solution. Whether you have 1 unit or 1000, student housing, or commercial properties, Innago is built for you. Our software is designed to save you time and money, so you can spend more time doing the things that matter most.
-
5
BMDFM
Binary Modular DataFlow Machine (BMDFM)
Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a... -
6
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
7
ISLISP contrib is a set of lisp libraries for the "ISO/IEC 13816:1997(E) : Programming Language ISLISP", the International Standard version of Lisp standardized by ISO in 1997.
-
8
Garnet - a Graphical Toolkit for Lisp
Garnet Common Lisp GUI Library
Garnet is a Graphical Toolkit for Lisp, which offers many advanced features. It was originally developed by Carnegie Mellon's User Interface Software Group and is one of the most feature rich interface toolkits available for lisp. The project has been dormant but some of us are trying to update it. To get the latest stable code, use the subversion repository: svn checkout svn://svn.code.sf.net/p/garnetlisp/svn/trunk garnetlisp-svn -
9
This project aims to develop a Lisp based operating system for general purpose computer architectures.
-
Collaborate is customizable case management software for non-profits and social services agencies with teams of 5+ staff.
-
10
Our aim is to create a collection of useful and free Common Lisp - Applications that are easily portable among the various CL - Implementations.
-
11
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
12
-
13
-
14
dpans2texi
Converts the sources of the Common Lisp standard to the Texinfo format
The dpans2texi script patched to work in modern environment, namely when makeinfo supports unicode and does not tolerate random ASCII chars in the input file, a couple of typos were also fixed. The purpose of dp2ansi script is to take advantage of the superior qualities of the Info reader in Emacs compared with other formats, viz. * Single-key index lookup with completion: i. * Single-key full text regexp search: s * Convenient symbol lookup from source code: C-h C-i (or... -
15
The Emacs package ANTLR-Mode provides: syntax highlighting for ANTLR grammar files, automatic indentation, menus containing rule/token definitions and supported options and various other things like running ANTLR from within Emacs.
-
16
Ksi is a portable, embeddable Scheme implementation written in C.
-
17
Readable Lisp S-expressions
Readable Lisp/S-expressions with infix, functions, and indentation
This project is dedicated to developing more readable format(s) for Lisp-based languages (such as Common Lisp and Scheme) and implementing those formats (readers, pretty-printers, editor macros, etc.). MIT license preferred, to spread them widely. -
18
A set of utilities, tools and configuration files bundled with automated installer to deliver full-fledged Emacs based Lisp development environment for Windows.
-
19
SuperCollider
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software. -
20
An efficient Java-based Multi-agent Platform implementing the micro-agent concept µ² offering network support and multiple agent implementation languages. Detailed instructions and documentation can be found under http://www.micro-agents.net. This project has been moved to Github.
-
21
TXR
Text scraping and data munging language.
NOTE: TXR used SourceForge for hosting binary downloads only. As of July 26, 2016, TXR uses the site Bintray (bintray.com) for hosting binary downloads. Do not look for new releases here! TXR combines a text scraping language combined with an innovative Lisp dialect geared toward data munging. TXR cribs ideas from modern scripting languages, multiple Lisp dialects, functional languages, and Unix tools. -
22
-
23
PHP Mode for Emacs
PHP Support for GNU Emacs
An Emacs major mode for editing PHP code. Features: Syntax coloring and indenting; Documentation browse and search functions; Support for Imenu and SpeedBar; Customization options; and support for language features from PHP 5.4 and beyond. The latest release can be found at https://github.com/ejmr/php-mode and all bug reports should go there.. -
24
GCC-MELT
a GCC compiler plugin and domain specific language ....
GCC-MELT is a high-level domain specific language to extend the GCC compiler. It provides several features (pattern-matching, first-class dynamically typed values, functional/applicative/object-oriented/reflective programming styles, Lisp-y syntax) MELT can also be used to explore the internal representations used by GCC (Gimple, etc...) -
25
dayLISP is an experimental/currently incomplete ISLisp implementation written in Java. I intend dayLISP to be a complete ISLisp and to provide an interface between Java and Lisp.