pen-lang / penLinks
The parallel, concurrent, and functional programming language for scalable software development
☆466Updated 2 months ago
Alternatives and similar repositories for pen
Users that are interested in pen are comparing it to the libraries listed below
Sorting:
- ☆218Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,156Updated 10 months ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆252Updated last month
- I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and ev…☆489Updated 8 months ago
- A statically-typed programming language☆234Updated this week
- A general purpose programming language☆219Updated 3 months ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆341Updated 4 months ago
- The Antimony programming language☆161Updated 2 weeks ago
- An intepreter for a simple dynamic language written in Rust☆291Updated last year
- A fast functional language based on two level type theory☆392Updated 3 years ago
- A Standard ML Compiler for the Web☆387Updated 3 years ago
- A programming language for the decentralized web☆446Updated 2 years ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆403Updated 5 years ago
- A small extensible programming language designed for concise expression with little code.☆1,085Updated last year
- The Chaos Programming Language☆283Updated 3 years ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.☆192Updated 4 years ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆455Updated last year
- An experimental Lisp-like programming language☆164Updated 2 years ago
- Autoscalable Programming Language☆319Updated last week
- an experimental new programming language based on interaction nets☆337Updated this week
- You might not need your garbage collector☆541Updated 5 years ago
- Functional language with a powerful type system.☆172Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- Fun, portable, minimalistic virtual machine.☆580Updated last month
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago
- The Standard ML compiler that produces Lua/JavaScript☆430Updated last month
- Systems language with linear types and capability-based security.☆1,445Updated 6 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆421Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago