17 projects for "void-linux" with 2 filters applied:

  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool 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
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 308 This Week
    Last Update:
    See Project
  • 2
    SciTECO

    SciTECO

    Advanced TECO dialect and interactive screen editor based on Scintilla

    SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3

    Jainja

    Jainja is a JVM (Java Virtual Machine) written in Java

    Jainja is a JVM (Java Virtual Machine) written in Java. The VM is developed by using the smallest possible subset of Java in order to run on top of multiple environments : Java SE, JavaME, Android, Javascript, and even natively.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    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: 400 This Week
    Last Update:
    See Project
  • Find Hidden Risks in Windows Task Scheduler Icon
    Find Hidden Risks in Windows Task Scheduler

    Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

    Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
    Download Free Tool
  • 5
    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.
    Leader badge
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    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: 8 This Week
    Last Update:
    See Project
  • 7
    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: 2 This Week
    Last Update:
    See Project
  • 8
    Mozart-Oz Programming System

    Mozart-Oz Programming System

    Runtime and development environment of Oz

    The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 9
    ScummVM

    ScummVM

    A cross-platform interpreter for many point-and-click adventure games

    ScummVM is a cross-platform interpreter for many point-and-click adventure games. This includes LucasArts SCUMM games (such as Monkey Island 1-3, Day of the Tentacle, Sam & Max, ...), many of Sierra's AGI and SCI games (such as King's Quest 1-6, Space Quest 1-5, ...), Discworld 1 and 2, Simon the Sorcerer 1 and 2, Beneath A Steel Sky, Lure of the Temptress, Broken Sword 1 and 2, Flight of the Amazon Queen, Gobliiins 1-3, The Legend of Kyrandia 1-3, many of Humongous Entertainment's...
    Leader badge
    Downloads: 130 This Week
    Last Update:
    See Project
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • 10

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

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ECL development has moved to https://gitlab.com/embeddable-common-lisp/ecl
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    Primary aim of this project is a creation of combine interpreter able to execute as much as possible esoteric languages.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 14
    Galliwasp

    Galliwasp

    Goal-directed answer-set programming

    Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    XAMOS

    XAMOS

    Cross-platform reimplementation of AMOS BASIC (runtime)

    XAMOS is a cross-platform reimplementation of AMOS BASIC based on jAMOS, fully re-written in C++ with SDL libraries. Currently runtime only, however is widely compatible with jAMOS projects.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Little Wizard is a development environment for children. It is intended to be used by primary school children to learn about the main elements of real computer languages. Little Wizard works under Linux and Windows 2000/XP.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Xconq is an engine for turn-based strategy games. Variety of game genres run under Xconq: historical, sci-fi, fantasy, and modern. AIs. Network games. Multiple UIs and platforms. Easy-to-learn game design language. Large games library available
    Downloads: 12 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next