Search Results for "void based linux"
Sort By:
Showing 100 open source projects for "void based linux"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Context for your AI agentsBuild data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need 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.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
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. -
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
-
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.
