cdiggins / cat-language
Cat - a statically typed functional stack-based programming language
☆259Updated 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
- A human readable quasi-concatenative programming language☆250Updated last month
- Compiler for the Mirth programming language.☆460Updated this week
- A declarative concatenative programming language☆164Updated 5 months ago
- A Compiler for the Popr Language☆246Updated 4 years 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 ML-like functional programming language☆333Updated 3 years ago
- A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites☆277Updated 2 years ago
- Pure programming language☆319Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆90Updated 2 months ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Plasma Programming Language☆167Updated 2 months ago
- Bootstrapping ATS3☆210Updated this week
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆513Updated 2 weeks ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Maru - a tiny self-hosting lisp dialect☆195Updated last week
- Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly☆517Updated last month
- An interpreter for a J-inspired language☆90Updated last year
- A small but practical concatenative programming language and shell☆319Updated 4 months ago
- The Om programming language.☆172Updated 5 months ago
- a tiny self-hosted Forth implementation☆421Updated 4 years ago
- a BQN implementation in C☆348Updated last week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆842Updated last month
- ATS2: Unleashing the Potentials of Types and Templates☆359Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆395Updated 2 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆382Updated 4 years ago
- Shen language kernel sources for porters☆370Updated 7 months ago
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- An insanely simple self-hosted functional programming language☆152Updated 5 years ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- The Makam Metalanguage☆198Updated 2 years ago