The parallel, concurrent, and functional programming language for scalable software development
☆475Oct 26, 2026Updated this week
Alternatives and similar repositories for pen
Users that are interested in pen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The functional programming language for scalable development☆34Jan 5, 2025Updated last year
- A safe, easy systems language☆2,367Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,162Mar 23, 2025Updated last year
- The uncurried minimal functional programming language for CPS transformation☆18Feb 23, 2024Updated 2 years ago
- A small extensible programming language designed for concise expression with little code.☆1,092Apr 22, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A statically-typed programming language☆239Updated this week
- Ninja-compatible build system for improved end-user experience written in Rust☆93Oct 26, 2026Updated last week
- A language for building concurrent software with confidence☆1,310Oct 24, 2026Updated last week
- Source code for the Mun language and runtime.☆2,150Oct 19, 2026Updated 2 weeks ago
- 🦕 An opposite function of nullish coalescing operator☆16Apr 6, 2024Updated 2 years ago
- Structurally-typed strict functional core language☆19Oct 19, 2026Updated 2 weeks ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 11 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆480Updated this week
- Compiler for the Vale programming language - http://vale.dev/☆2,030Sep 23, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A static, type inferred and embeddable language written in Rust.☆3,457Aug 6, 2026Updated 2 months ago
- Multi-core suitable Forth-like language☆37Mar 4, 2026Updated 7 months ago
- A statically typed language compatible with Python☆2,866Dec 4, 2025Updated 10 months ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27May 1, 2022Updated 4 years ago
- Cone Programming Language☆558Updated this week
- A general purpose programming language☆223Sep 24, 2026Updated last month
- Synchronize the filetype you are coding with the GitHub messages☆12Apr 20, 2021Updated 5 years ago
- A programming language☆70Nov 27, 2023Updated 2 years ago
- The Flix Programming Language☆2,769Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- An experimental Lisp-like programming language☆166Feb 15, 2023Updated 3 years ago
- Koka language compiler and interpreter☆4,111Updated this week
- A fast functional language based on two level type theory☆393Jan 6, 2023Updated 3 years ago
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆620May 16, 2021Updated 5 years ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆346Oct 22, 2026Updated last week
- A C library for displaying informative, clean and readable errors☆25Mar 21, 2024Updated 2 years ago
- The Lobster Programming Language☆2,810Updated this week
- Mini-Programmable Configuration Language☆17Sep 11, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Systems language with linear types and capability-based security.☆1,602Jul 28, 2025Updated last year
- A general-purpose programming language, focused on simplicity, safety and stability.☆53Jun 22, 2026Updated 4 months ago
- A simple, expressive, embeddable programming language☆887Aug 6, 2026Updated 2 months ago
- Calypso is a functional-imperative programming language focused on flexibility and simplicity. Mirror from Codeberg, please submit issues…☆69May 23, 2026Updated 5 months ago
- An experimental project for statically typed scripting language.☆62Dec 30, 2025Updated 10 months ago
- Simple, expressive & portable programming language for efficient scripting☆891Oct 22, 2026Updated last week
- A modern proof language☆3,763Jan 22, 2025Updated last year