Norpl (NOt a Real Programming Language) is a skeleton language for research purposes
☆22Jun 26, 2022Updated 4 years ago
Alternatives and similar repositories for norpl
Users that are interested in norpl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [WIP] A toy C compiler written in Rust☆16Mar 4, 2022Updated 4 years ago
- A Protobuf IDL parser for Go☆17May 23, 2026Updated 2 months ago
- 📖《Rust Atomics and Locks》- by Mara Bos 中文翻译版。——《Rust原子和锁》👀👀👀👀👀👀☆25Jul 7, 2023Updated 3 years ago
- ☆13Jul 3, 2024Updated 2 years ago
- A convenience library to handle ASGI messages over websockets☆19Jan 9, 2023Updated 3 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.
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆11Nov 21, 2024Updated last year
- ☆16Aug 10, 2020Updated 6 years ago
- My code for playing Bad Apple Music Video☆17Apr 14, 2023Updated 3 years ago
- The style-loader for esbuild.☆24Mar 21, 2022Updated 4 years ago
- Rust's Enum variant counter☆15Sep 15, 2021Updated 4 years ago
- Go toolchain written in Rust☆10Aug 8, 2026Updated last week
- tmux plugin for pomodoro technique☆13Oct 23, 2024Updated last year
- 🍄 A parser, interpreter and compiler for libmagic rule files in golang☆21Feb 22, 2026Updated 5 months ago
- ☆17Aug 10, 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.
- Write games use jok(zig) through MoonBit(wasm).☆16Mar 24, 2025Updated last year
- ☆11Jul 20, 2016Updated 10 years ago
- Soundboard with no limits☆12Nov 18, 2025Updated 9 months ago
- Self-contained C# game in 8 kB☆15Jan 16, 2022Updated 4 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Lightweight RNG specification and several ultrafast implementations in Rust.☆15Dec 15, 2022Updated 3 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- A simple language that compiles to WASM☆21Apr 28, 2021Updated 5 years ago
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 3 years ago
- 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.
- Get relevant files/authors for your code - binary written in rust. Plugins available in NeoVim and VSCode (separate repositories)☆23Oct 18, 2025Updated 10 months ago
- A simple api service to fetch information on diablo 2 information☆11Oct 13, 2021Updated 4 years ago
- 🦙🦙.🦀☆28Sep 24, 2023Updated 2 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 5 years ago
- Interactive JSON and JSON CRDT editing and viewing React components☆27Sep 15, 2025Updated 11 months ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 4 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- ☆12Jan 7, 2021Updated 5 years ago
- 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.
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- A simple URL Mapper service built using Rust☆19Aug 10, 2021Updated 5 years ago
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated last year
- bindings and safe wrappers for libxkbcommon☆23Oct 25, 2025Updated 9 months ago
- A simple example and walkthrough of getting GGEZ and specs working together☆13Nov 30, 2020Updated 5 years ago
- Basic Database System implemented for MDBS course☆13Jun 17, 2014Updated 12 years ago