pen-lang / pen
The parallel, concurrent, and functional programming language for scalable software development
☆456Updated this week
Alternatives and similar repositories for pen:
Users that are interested in pen are comparing it to the libraries listed below
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,116Updated 3 weeks ago
- ☆204Updated 9 months ago
- A small extensible programming language designed for concise expression with little code.☆1,066Updated 7 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…☆467Updated last week
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆242Updated last week
- A general purpose programming language☆190Updated last month
- (Toy) Compiler Infrastructure influenced by LLVM written in Rust☆401Updated 4 years ago
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- Toy language for experimentation and fun.☆570Updated last month
- A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.☆188Updated 3 years ago
- Cone Programming Language☆535Updated 2 years ago
- A statically typed scripting language that transpile into POSIX sh☆613Updated 2 months ago
- A safe, easy systems language☆1,973Updated this week
- Autoscalable Programming Language☆312Updated this week
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆328Updated this week
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- an experimental new programming language based on interaction nets☆252Updated 2 weeks ago
- You might not need your garbage collector☆540Updated 4 years ago
- A statically-typed programming language☆227Updated this week
- The Antimony programming language☆149Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- A programming language for the decentralized web☆447Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,256Updated last week
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆446Updated 8 months ago
- A language for building concurrent software with confidence☆1,147Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆616Updated 3 years ago
- The best C-like language that can be implemented in 10kLOC.☆579Updated last week
- Functional language with a powerful type system.☆169Updated last year
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year