cdiggins / cat-language
Cat - a statically typed functional stack-based programming language
☆254Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for cat-language
- A Compiler for the Popr Language☆243Updated 3 years ago
- A human readable quasi-concatenative programming language☆245Updated last month
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- A declarative concatenative programming language☆159Updated 3 weeks ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆271Updated last year
- Maru - a tiny self-hosting lisp dialect☆189Updated 5 months ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆379Updated 4 years ago
- Manfred von Thun's Programming Language Joy☆83Updated 2 weeks ago
- An ML-like functional programming language☆328Updated 3 years ago
- Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly☆499Updated 2 months ago
- interpret☆102Updated last week
- The Om programming language.☆168Updated last month
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- A categorical programming language with effects☆267Updated last year
- a BQN implementation in C☆329Updated this week
- Pure programming language☆316Updated 2 years ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆488Updated this week
- An insanely simple self-hosted functional programming language☆152Updated 5 years ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆223Updated this week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆157Updated 2 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- A small but practical concatenative programming language and shell☆314Updated last week
- Shen language kernel sources for porters☆355Updated 3 months ago
- Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.☆432Updated last year
- An interpreter for a J-inspired language☆89Updated last year
- Bootstrapping ATS3☆197Updated this week
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago