carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
☆5,589Updated last month
Alternatives and similar repositories for Carp:
Users that are interested in Carp are comparing it to the libraries listed below
- A dynamic language and bytecode vm☆3,673Updated this week
- The Lux Programming Language☆1,690Updated last month
- Lua Lisp Language☆2,522Updated last week
- Koka language compiler and interpreter☆3,377Updated last week
- A small, fast, native lisp with "magical" powers☆2,352Updated 4 years ago
- Factor programming language☆1,669Updated last month
- clasp Common Lisp environment☆2,603Updated this week
- Gerbil Scheme☆1,173Updated this week
- The native Clojure dialect hosted on LLVM☆2,081Updated this week
- A Dependently Typed Functional Programming Language☆3,437Updated 5 months ago
- An operating system written in Common Lisp☆3,573Updated 6 months ago
- Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...☆1,615Updated last week
- A friendly programming language from the future☆5,867Updated this week
- Lisp-flavoured C☆1,033Updated 2 months ago
- A self-hosting Scheme to WebAssembly compiler☆1,269Updated 3 years ago
- A purely functional programming language with first class types☆2,560Updated this week
- Lisp Flavoured Erlang (LFE)☆2,337Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,763Updated this week
- Official chibi-scheme repository☆1,247Updated 2 weeks ago
- A dialect of Lisp that's embedded in Python☆5,171Updated this week
- a lightweight, robust, scheme-like lisp implementation☆1,587Updated 4 years ago
- A static, type inferred and embeddable language written in Rust.☆3,256Updated last month
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,614Updated 2 years ago
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,199Updated this week
- Maintainable configuration files☆4,253Updated this week
- Let's simplify the way we write Lisp☆1,756Updated 5 months ago
- A data-parallel functional programming language☆2,450Updated this week
- A modern proof language☆3,603Updated last week
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,393Updated 3 months ago
- The Interim Operating System☆1,254Updated 3 years ago