pen-lang / penLinks
The parallel, concurrent, and functional programming language for scalable software development
☆460Updated this week
Alternatives and similar repositories for pen
Users that are interested in pen are comparing it to the libraries listed below
Sorting:
- ☆212Updated last year
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,142Updated 5 months ago
- 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…☆482Updated 3 months ago
- A small extensible programming language designed for concise expression with little code.☆1,076Updated last year
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆334Updated 4 months ago
- Tokay programming language, designed for ad-hoc parsing and syntax-directed development.☆247Updated 2 weeks ago
- A statically-typed programming language☆230Updated this week
- Autoscalable Programming Language☆317Updated this week
- A Standard ML Compiler for the Web☆386Updated 2 years ago
- The Antimony programming language☆157Updated this week
- A general purpose programming language☆210Updated 4 months ago
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆401Updated 4 years ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- You might not need your garbage collector☆543Updated 5 years ago
- An intepreter for a simple dynamic language written in Rust☆292Updated last year
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆451Updated last year
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- an experimental new programming language based on interaction nets☆299Updated 2 weeks ago
- A programming language for the decentralized web☆449Updated 2 years ago
- A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.☆190Updated 3 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆223Updated 10 months ago
- Toy language for experimentation and fun.☆583Updated 6 months ago
- The Chaos Programming Language☆282Updated 3 years ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- Systems language with linear types and capability-based security.☆1,382Updated last month
- A statically typed scripting language that transpile into POSIX sh☆616Updated 7 months ago
- The Standard ML compiler that produces Lua/JavaScript☆408Updated last week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated 2 years ago
- A pure functional language for type-level programming in Rust☆335Updated 2 years ago
- ✨ The compiler and developer toolchain for Onyx☆647Updated 2 months ago