Showing 869 open source projects for "gnu linux"

View related business solutions
  • 8 Monitoring Tools in One APM. Install in 5 Minutes. Icon
    8 Monitoring Tools in One APM. Install in 5 Minutes.

    Errors, performance, logs, uptime, hosts, anomalies, dashboards, and check-ins. One interface.

    AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
    Start Free
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 1

    Picobat (formerly Dos9)

    A free cross platform command prompt

    This repository is not updated anymore. The project name has changed to Picobat and is now hosted at https://github.com/darkbatcher/picobat Dos9 is a free, cross-platform, command prompt directly inspired from cmd.exe, the windows command prompt. Dos9 aims to be as compatible as possible with cmd.exe, but it also aims to eases batch by providing a large set of commands.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    MANOOL

    MANOOL

    Programming language with expressive power and a simple implementation

    MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The Portable Forth Environment implements the ANSI Forth Standard, it is fully written in C, the newer version has a module concept, and it is fully multithreaded. Autoconf used. Tested in embedded environments.
    Downloads: 11 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 5

    DatabeneScript

    DatabeneScript is a Java library for resolving Java-like expressions

    DatabeneScript is a Java library for resolving Java-like expressions
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    CSS Preprocessor

    CSS validation and advanced preprocessor with nesting and variables

    CSS Preprocessor is a parser, compiler, and assembler which extends the CSS language to allow nested rules and attributes, variables / @mixin, functions, and especially, strong validation of your source code so you know that it will work the first time you use it in your browser. The library is written in C++ allowing any other C++ project to work with CSS without having to rewrite their own parser. The library supports 4 output levels from ultra compressed CSS code to beautified CSS code....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    LoLCode1337 (speak lolcode leet) is an implementation of the esoteric programming language lolcode. It offers a compiler, virtual machine (=interpreter), debugger, internal editor and it's commands set is close to that what other lolcode implementations offer. More to come soon.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8

    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.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 9
    Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    DuroDBMS

    DuroDBMS

    Relational Database Management System

    A relational database management system, based on the principles laid down in the book "Databases, Types, and The Relational Model: The Third Manifesto" by C. J. Date and Hugh Darwen.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    FIJI ForthIsh Java Interpreter

    FIJI ForthIsh Java Interpreter

    Java interpreter with Forth-like syntax, use it for testing java libs

    FIJI the ForthIsh Java Interpreter is an interactive environment with a procedural syntax similar to the Forth programming language. FIJI can load, introspect, and execute Java classes and methods. FIJI's main use is for unit and component testing of Java.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    CLISP - an ANSI Common Lisp
    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.
    Leader badge
    Downloads: 295 This Week
    Last Update:
    See Project
  • 14
    Jed Modes Repository
    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/
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    nuBASIC

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Pocket Application Maker. Combination of a rapid GUI generator and a flexible "text generator/commander" to handle both design and logic of an application simply from a text file. All with SQL capability (sqlite integrated).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    PythonQt

    Dynamic Python binding for Qt Applications

    NOTE: PythonQt has been moved to https://github.com/MeVisLab/pythonqt PythonQt is a dynamic and lightweight script binding of the Qt framework to the Python language. It can be easily embedded into Qt applications and makes any QObject derived object scriptable via Python without the need of wrapper code generation.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    KAREL 3D WebGL

    KAREL 3D WebGL

    Children's learning programming language Karel the Robot in 3D

    KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Mutabor

    Mutabor

    Perform dynamic tunings for realtime music.

    Mutabor is a Program that allows performing and composing microtonal music using a normal MIDI keybord. But it's powerful description language is intended to allow permanent retunings and tuning logics in to describ, what's actually goes on.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 23

    haikuVM

    A Java VM for ARDUINO and other micros using the leJOS runtime.

    HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 24
    The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MorganaXProc (Implements XProc 1.0)

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB