cdiggins / cat-languageLinks
Cat - a statically typed functional stack-based programming language
☆262Updated 7 years ago
Alternatives and similar repositories for cat-language
Users that are interested in cat-language are comparing it to the libraries listed below
Sorting:
- Compiler for the Mirth programming language.☆471Updated last month
- A Compiler for the Popr Language☆248Updated 4 years ago
- A human readable quasi-concatenative programming language☆256Updated 4 months ago
- An ML-like functional programming language☆336Updated 3 years ago
- Pure programming language☆323Updated 2 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆281Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆92Updated 5 months ago
- A declarative concatenative programming language☆164Updated 8 months ago
- Maru - a tiny self-hosting lisp dialect☆196Updated 3 weeks ago
- Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly☆534Updated 4 months ago
- 1ML prototype interpreter☆282Updated 5 years ago
- The Om programming language.☆173Updated 8 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Bootstrapping ATS3☆221Updated this week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆530Updated last month
- A small but practical concatenative programming language and shell☆318Updated 7 months ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Plasma Programming Language☆166Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- a tiny self-hosted Forth implementation☆427Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- a BQN implementation in C☆358Updated 2 weeks ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 3 years ago
- An interpreter for a J-inspired language☆92Updated last year
- ATS2: Unleashing the Potentials of Types and Templates☆365Updated 2 weeks ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆392Updated 4 years ago
- An insanely simple self-hosted functional programming language☆156Updated 5 years ago
- The NIAL language environment☆112Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago