pen-lang / penLinks
The parallel, concurrent, and functional programming language for scalable software development
☆456Updated last week
Alternatives and similar repositories for pen
Users that are interested in pen are comparing it to the libraries listed below
Sorting:
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,117Updated 2 months ago
- ☆206Updated 11 months ago
- 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 sweet, functional programming language that is robust, minimalistic, and expressive.☆332Updated last month
- A small extensible programming language designed for concise expression with little code.☆1,073Updated 8 months ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A general purpose programming language☆206Updated 3 weeks 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…☆484Updated last week
- Toy language for experimentation and fun.☆578Updated 2 months ago
- The Antimony programming language☆151Updated last week
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆263Updated last year
- A statically-typed programming language☆228Updated this week
- Systems language with linear types and capability-based security.☆1,318Updated 3 weeks ago
- A programming language for the decentralized web☆448Updated 2 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆618Updated 4 years ago
- A declarative concatenative programming language☆164Updated 7 months ago
- Fun, portable, minimalistic virtual machine.☆555Updated 8 months ago
- Cone Programming Language☆541Updated 2 years ago
- You might not need your garbage collector☆543Updated 5 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 7 months ago
- An intepreter for a simple dynamic language written in Rust☆291Updated 10 months ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆447Updated 10 months ago
- Web49: WebAssembly Interpeter☆329Updated 2 years ago
- an experimental new programming language based on interaction nets☆265Updated this week
- A safe, easy systems language☆2,057Updated this week
- ☆172Updated 7 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆368Updated this week
- A parser combinator library for Zig☆524Updated 3 weeks ago