The parallel, concurrent, and functional programming language for scalable software development
☆472Jun 22, 2026Updated last 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
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- A small extensible programming language designed for concise expression with little code.☆1,091Apr 22, 2026Updated 2 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,155Mar 23, 2025Updated last year
- A safe, easy systems language☆2,276Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A statically-typed programming language☆242May 31, 2026Updated last month
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆17Nov 17, 2025Updated 7 months ago
- 🦕 An opposite function of nullish coalescing operator☆16Apr 6, 2024Updated 2 years ago
- Ninja-compatible build system for high-level programming languages written in Rust☆91Jun 22, 2026Updated last week
- Structurally-typed strict functional core language☆19Jun 20, 2026Updated 2 weeks ago
- A language for building concurrent software with confidence☆1,282Jun 25, 2026Updated last week
- A general purpose programming language☆220May 16, 2026Updated last month
- siko☆14Jan 6, 2024Updated 2 years ago
- Multi-core suitable Forth-like language☆37Mar 4, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Source code for the Mun language and runtime.☆2,120Jun 19, 2026Updated 2 weeks ago
- A fast functional language based on two level type theory☆394Jan 6, 2023Updated 3 years ago
- Synchronize the filetype you are coding with the GitHub messages☆12Apr 20, 2021Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Jun 27, 2026Updated last week
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28May 1, 2022Updated 4 years ago
- Cone Programming Language☆557Dec 12, 2022Updated 3 years ago
- A statically typed language compatible with Python☆2,859Dec 4, 2025Updated 7 months ago
- The Flix Programming Language☆2,685Updated this week
- Lightweight object-oriented and functional programming language. Designed to be intuitive, small, cross-platform, and fast. The language …☆165Jun 27, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Compiler for the Vale programming language - http://vale.dev/☆1,990May 14, 2024Updated 2 years ago
- A statically typed functional programming language.☆46Jun 22, 2026Updated last week
- A C library for displaying informative, clean and readable errors☆26Mar 21, 2024Updated 2 years ago
- A general-purpose programming language, focused on simplicity, safety and stability.☆53Jun 22, 2026Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆446Jun 22, 2026Updated last week
- vim-lsp source for ddc.vim☆47Jun 6, 2025Updated last year
- A programming language☆70Nov 27, 2023Updated 2 years ago
- Looks like JavaScript, feels like Ruby, and it is a script language fitting in C programmers.☆239Dec 6, 2022Updated 3 years ago
- A fast and extensible fuzzy finder on vim☆42Jan 9, 2025Updated last year
- 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.
- search + seek = seak. The plugin that enhances the `/` and `?`.☆36Dec 27, 2021Updated 4 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- 🎨 Logo images of denops.vim☆15Aug 18, 2024Updated last year
- Koka language compiler and interpreter☆3,945Jun 13, 2026Updated 2 weeks ago
- The Lobster Programming Language☆2,729Updated this week
- An experimental project for statically typed scripting language.☆62Dec 30, 2025Updated 6 months ago
- Systems language with linear types and capability-based security.☆1,535Jul 28, 2025Updated 11 months ago