Search Results for "linux terminal" - Page 2
Sort By:
Showing 180 open source projects for "linux terminal"
View related business solutions-
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.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
BookPart1
Interpreter Code for Book Part 1
Source files for the book: "Writing an Interpreter in Object Pascal: Part 1" You will find a project group in each of the folders. Load the project group, not the individual projects when you want to load the code into Delphi. -
3
s(ASP)
Implements the stable model semantics without grounding.
s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable... -
4
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.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
A collection of S-Lang extension scripts (modes) for the Jed text editor, contributed by Jed users. Browse the repository at http://jedmodes.sf.net/
-
6
nuBASIC
BASIC language interpreter (multiplatform)
nuBASIC is an implementation of an interpreter of the BASIC programming language and IDE. It has been designed mainly for educational purposes and it is suitable for simple games, educational or small business programs. -
7
-
8
CaLi2CoPi is a multiplatform PDF parser library programmed in PostScript. Works with several specialized switch in order to verify, add, extract or change any PDF content. Also supports online execution on web based user interface via Ghostscript.
-
9
MorganaXProc (Implements XProc 1.0)
A Java implementation of XProc: An XML Pipeline Language
This project is now abandoned in favour of MorganaXProc-III which implements XProc 3.0: https://sourceforge.net/projects/morganaxproc-iiise/ MorganaXProc is a full implementation of XProc: An XML Pipeline Language (W3C Recommendation 11 May 2010) written in Java, supporting all required and optional steps, the steps proposed on EXProc.org and also the document templating steps "p:in-scope-names" and "p:template". XPath 2.0 or XPath 3.0 is used as expression language. XSLT and XQuery... -
Full-stack observability with actually useful AI | 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.
-
10
cado
Template-based code generation language.
Cado is a mature code generation language that operates on standard templates with embedded macros. It is useful for generating source code and other related content (tests, docs, configuations, etc.), deriving from a common project nomenclature. -
11
MScheme
Scheme Interpreter implemented in Java
MScheme is a Scheme interpreter implemented in Java. The project goals are to fully comply with the "Revised^5 Report on Scheme" and a clean and modular design. -
12
The PHP script engine for Java. --- Run PHP applications within any J2EE server or servlet engine and/or connect script engines like PHP with Java or .NET back ends efficiently.
-
13
ANS Forth for Win32 and Linux/x86 (used to compile the following SF projects: acWEB, acFTP, acFreeProxy, acSMTP, Forth-Script)
-
14
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. -
15
A Graphical Developement Environment based on a Basic Interpreter with object extensions.
-
16
Scripted Roulette
Simulation tool for the casino game Roulette
Scripted Roulette is an original application which helps you to develop and analyze new betting strategies for the casino game Roulette. Learn and understand more about the chances you really have to win. -
17
A Perl based interpreter for a language which is a blend of Forth and APL. The power of lang5 stems from its arrays operations in conjunction with the underlying Forth programming paradigm of bottom up programming.
-
18
TISP
A simple, LISP-like programming language.
ThyLordRoot's Interpreted S-expression Parser (TISP) is a LISP-like programming language developed for the benefit of ThyLordRoot's viewers on Twitch.tv. This heritage was chosen for its simplicity and affordance of rapid prototyping. Although it is a toy language, it is intended to be Turing complete, and bootstrapping TISP is a major goal. -
19
NG-BASIC
An experimental BASIC language for Linux, Mac OS X, and Windows.
NG-BASIC is an experimental BASIC language that can be both interpreted within an Integrated Development Environment (and debugged through that same environment) as well as compiled to a native executable. The goal of this project is to reproduce an environment similar to QuickBASIC 4.5 for modern operating systems and for BASIC enthusiasts. -
20
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as... -
21
The cartesian programming language
A functional programming language
Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance. -
22
-
23
-
24
bish-shell
BASIC Interpretative SHell
A shell loosely based on the old Commodore and Tandy BASIC interpreters, with some small updating to modern computer systems -
25
Primary aim of this project is a creation of combine interpreter able to execute as much as possible esoteric languages.
