BROWSE · DEVELOPMENT
Languages
1,704 packages in Languages
Easy building and installing of Erlang/OTP instances
codex
64-bit Forth System for GNU/Linux
codex
Kink is a prototype-based functional language on the JVM. The goal of the language is ea…
codex
Kotlin Language Interactive Shell
codex
a refurbished Erlang shell with support for color profiles and extensions.
codex
Support for JS scripting in applications
codex
A C compiler for z80 systems
codex
A strongly typed functional-style language with effect types and handlers
codex
An open-source implementation of the K language, an ASCII APL.
codex
Statically typed programming language with multiplatform support
codex
An LLVM based backend for the Kotlin compiler and native implementation of the Kotlin st…
codex
A LLVM backend for the Kotlin compiler
codex
Enhanced scripting support for Kotlin on *nix and Windows based systems
codex
An interpreter for ksplang
codex
Dynamic, bytecode-compiled programming language and a dialect of Python
codex
A simple, self-hosting C compiler
codex
A small and fast C compiler.
codex
A simple and fast 1.2 lolcode interpreter written in C.
codex
A D Compiler based on the LLVM Compiler Infrastructure including D runtime and libphobos2
codex
COBOL inspired language, designed to be expressive, fast, readable and easy to learn.
codex
Lean 4 programming language and theorem prover
codex
Lean Theorem Prover
codex
An interactive theorem prover
codex
An interactive theorem prover
codex
Lean Theorem Prover, maintained by the Lean community
codex
An esoteric programming language which looks like a jumble of letters.
codex
An esoteric programming language which looks like a jumble of letters.
codex
Lisp Flavoured Erlang is not a casual Lisp. It's a Lisp for those who want to build dist…
codex
Just-in-time compiler and drop-in replacement for Lua 5.1 (32-bit)
codex
The Tcl scripting language, 8.4 series
codex