A programming language with effect handler
☆35Jul 15, 2026Updated 2 months ago
Alternatives and similar repositories for pernix-lang
Users that are interested in pernix-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fully programmable, multi-platform, syntax-slick modern language. Let’s finish this strong. 💪☆22Aug 3, 2026Updated last month
- A simple statically typed programming language☆11Jun 11, 2025Updated last year
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 5 years ago
- Adds derive macros for better bounds on generated Copy, Debug, etc. implementations☆12Nov 27, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The hedgehog dataplane☆20Updated this week
- The wright programming language (work in progress)☆23Jan 17, 2026Updated 8 months ago
- The OverScript programming language☆14Aug 21, 2022Updated 4 years ago
- OpenGraph image generation for crates.io packages☆17Aug 9, 2026Updated last month
- A small compiled language with a back-end and a front-end written from scratch☆33May 30, 2025Updated last year
- content aware image resizing in Rust☆22Jul 19, 2026Updated 2 months ago
- Lint your file tree based on file sizes☆16Sep 11, 2026Updated last week
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated last year
- C based backend for rustc☆36Feb 26, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Dependency free game-engine☆31Sep 17, 2026Updated last week
- TypeScript-like theorem prover☆45Apr 30, 2025Updated last year
- The Mussel Programming Language☆30May 6, 2025Updated last year
- A programming language written in Python and LLVMLite☆11Apr 15, 2022Updated 4 years ago
- A functional programming language☆15Jul 23, 2025Updated last year
- A WIP little dependently-typed systems language☆42Aug 13, 2024Updated 2 years ago
- A tool & Python 3 library to decompress anything☆12Jan 24, 2021Updated 5 years ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Highly configurable & extensible automatically sized input field built with hooks.☆14Dec 28, 2023Updated 2 years ago
- 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.
- Library for creating and morphing potentially rounded polygons☆16Mar 6, 2026Updated 6 months ago
- ☆16Sep 13, 2026Updated last week
- A humble attempt at an operating system☆15May 15, 2025Updated last year
- ☆35Oct 28, 2025Updated 10 months ago
- Rhythm game engine written in Rust.☆11Jul 30, 2026Updated last month
- BASIC-style "compiler" as C syntax library☆20Mar 11, 2013Updated 13 years ago
- Unofficial API for TradingView☆13Aug 12, 2025Updated last year
- Displays interlinear gloss in a more readable way with HTML.☆10Apr 2, 2019Updated 7 years ago
- Blockchain API made with Typescript and Node☆12Sep 18, 2022Updated 4 years 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.
- Passerine's package manager.☆22Jul 29, 2022Updated 4 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Bau is a simple, concise, safe, powerful and fast programming language.☆77Updated this week
- KCL Multiple Language Bindings including Rust, Go, Python, Java, Kotlin, .NET, Swift, Lua, Node.js, Zig, C, C++, WASM, etc.☆21Updated this week
- ☆18Feb 20, 2026Updated 7 months ago
- Rust port of nix-tree, providing an interactive visualization of Nix store dependencies.☆28Sep 14, 2026Updated last week
- A small but powerful Clojure-like Lisp with first class continuations and macros☆10Jan 12, 2023Updated 3 years ago