The parallel, concurrent, and functional programming language for scalable software development
☆468Nov 20, 2025Updated 3 months ago
Alternatives and similar repositories for pen
Users that are interested in pen are comparing it to the libraries listed below
Sorting:
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- A small extensible programming language designed for concise expression with little code.☆1,085Sep 11, 2024Updated last year
- A safe, easy systems language☆2,205Feb 24, 2026Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,158Mar 23, 2025Updated 11 months ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- A statically-typed programming language☆242Updated this week
- Ninja-compatible build system for high-level programming languages written in Rust☆89Updated this week
- Source code for the Mun language and runtime.☆2,111Aug 12, 2025Updated 6 months ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 3 months ago
- siko☆14Jan 6, 2024Updated 2 years ago
- A general purpose programming language☆219Feb 18, 2026Updated 2 weeks ago
- A statically typed language compatible with Python☆2,851Dec 4, 2025Updated 3 months ago
- A language for building concurrent software with confidence☆1,257Updated this week
- A fast functional language based on two level type theory☆392Jan 6, 2023Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆420Updated this week
- Multi-core suitable Forth-like language☆37Mar 22, 2025Updated 11 months ago
- The Flix Programming Language☆2,588Updated this week
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 3 years ago
- 🦕 An opposite function of nullish coalescing operator☆16Apr 6, 2024Updated last year
- A programming language☆70Nov 27, 2023Updated 2 years ago
- An experimental project for statically typed scripting language.☆63Dec 30, 2025Updated 2 months ago
- Compiler for the Vale programming language - http://vale.dev/☆1,961May 14, 2024Updated last year
- An experimental programming language for ergonomic software verification☆16Feb 5, 2026Updated 3 weeks ago
- Koka language compiler and interpreter☆3,817Feb 25, 2026Updated last week
- A static, type inferred and embeddable language written in Rust.☆3,392Dec 6, 2024Updated last year
- Cone Programming Language☆555Dec 12, 2022Updated 3 years ago
- Systems language with linear types and capability-based security.☆1,463Jul 28, 2025Updated 7 months ago
- The Lobster Programming Language☆2,634Updated this week
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆624May 16, 2021Updated 4 years ago
- Lightweight object-oriented and functional programming language. Designed to be intuitive, small, cross-platform, and fast. The language …☆163Updated this week
- Looks like JavaScript, feels like Ruby, and it is a script language fitting in C programmers.☆239Dec 6, 2022Updated 3 years ago
- The best C-like language that can be implemented in 10kLOC.☆683Updated this week
- The interpreter for Rhovas, a programming language for API design and enforcement.☆36Aug 6, 2025Updated 6 months ago
- A C library for displaying informative, clean and readable errors☆25Mar 21, 2024Updated last year
- Simple, expressive & portable programming language for efficient scripting☆840Feb 18, 2026Updated 2 weeks ago
- A modern proof language☆3,728Jan 22, 2025Updated last year
- Structurally-typed strict functional core language☆19Nov 21, 2025Updated 3 months ago
- A simple, expressive, embeddable programming language☆861Jan 19, 2026Updated last month
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆341Oct 2, 2025Updated 5 months ago