Search Results for "void linux based"
Sort By:
Showing 100 open source projects for "void linux based"
View related business solutions-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
Maxima -- GPL CAS based on DOE-MACSYMA
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats. Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical... -
2
BeeBase
Relational programmable database with GUI
BeeBase is a relational, programmable database system with graphical user interface for Windows, Mac, Linux and Amiga. -
3
yellowcard
Address List program for tracking personal info in a plain text file
Yellowcard is an address list maintenance program for keeping personal information in a plain text file. The reviews for the octfont project serve as a question and answer area for yellowcard and other josephms sourceforge projects. The reviews for the octfont project are checked regularly by the author as a method of support for yellowcard. -
4
Trek7 the original multiplayer network star trek game from the early-mid 70s. We are hoping to revive this classic (no, its not netrek/mtrek, not even close). hopefully the SF community can help port this to modern day networks.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
This project aims to develop a Lisp based operating system for general purpose computer architectures.
-
6
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.
-
7
-
8
wxMaxima
Cross platform GUI for Maxima
wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/ -
9
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. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
A set of utilities, tools and configuration files bundled with automated installer to deliver full-fledged Emacs based Lisp development environment for Windows.
-
11
StarkOX
Open Source Robot Operating System
StarkOX, the first universal Open Source AI Robot Operating System. It provides easy to use hardware abstraction and commonly-used functionality. Furthermore, strong cognitive functions, voice and pattern detection together with a new powerful scripting language provide possibilities to create and share abstract behavior patterns. -
12
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.
-
13
Yamwi
Yamwi = Yet Another Maxima Web Interface.
Run Maxima programs via the web in batch mode. Maxima is a Computer Algebra System written in Lisp. -
14
AllegroServe is a web server developed for use with Allegro Common Lisp. Supporting the HTTP 0.9, 1.0, and 1.1 protocols, it can serve dynamic pages using an HTML generator facility.
-
15
Yes, finally. The author decide to schedule some of his busy time to release the "Chinese Language Formula"- Step By Step. It will take a while, but eventually Chinese Language Processing is no longer a problem.
-
16
SHOP2 is a domain-independent automated-planning system based on ordered task decomposition, a type of Hierarchical Task Network (HTN) planning. Development is no longer done on sf; only file hosting now. WARNING: Java code here is not maintained....
-
17
lavalamp>3
screen colors get changed by a neural net
On the full screen or a frame the colors get changed dynamically by using a image recognition neural net. -
18
OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
-
19
OpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and reasoning engine. A new release with even more content, better performance, and improved reliability will be up shortly.
-
20
combat bots
A game developed by Reddit community
This is an Open Source game based on drumo's design and concept art which is developed by Reddit community. If you don't use Reddit, you are still more then welcome to use it. -
21
sealisp
Lisp interpreter for the PSP + UNIX-clones.
This is a Lisp interpreter which will eventually be ANSI standard compliant. It currently compiles for UNIX-clones and the PSP, it has no external dependencies, with the garbage collector and numeric library and all other components being home made, from scratch. Working so far: * Automatic precise garbage collector. * Procedural macros. * Computer algebra library * A bunch of useful primitives. * A fairly small, but useful standard library. In the PSP build, the following additional... -
22
define-ext
Plugin-based foreign code embedder for newLISP
==== NB: All new development is continued at http://github.com/rowanthorpe/define-ext and newer versions can be found there. The versions found here are for archival purposes only. ==== A newLISP - www.newlisp.org - macro which allows the user to "define" callable foreign code inline just as they would "define" a lambda or macro. C, Assembly and plain Object Code plugins are included. The Object Code plugin has no external dependencies. The C and Assembly plugins rely on the existence of... -
23
xindy is an index processor that can be used to generate book-like indexes for arbitrary document-preparation systems. This includes systems such as TeX and LaTeX, the roff-family, and SGML/XML-based systems (e.g., HTML).
-
24
Exclusive x86-long mode uperating environment based on FORTH (and later LISP). Requires NASM (development) and at least bochs 2.4.5 (runtime) or QEMU 0.13.0
-
25
The Integrating Modelling Toolkit (IMT) is a generic, comprehensive, and extensible set of abstractions allowing definition and use of interoperable XML-specified model components.
