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:
- Track the opening and closing of GitHub issues over time☆12Jul 7, 2021Updated 5 years ago
- ☆10Aug 31, 2021Updated 4 years ago
- 📖《Rust Atomics and Locks》- by Mara Bos 中文翻译版。——《Rust原子和锁》👀👀👀👀👀👀☆25Jul 7, 2023Updated 3 years ago
- Ultra fast Python parser, written in Zig☆15Mar 5, 2025Updated last year
- A JavaSript homage to Atari's classic Lunar Lander game☆14Mar 8, 2026Updated 4 months 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.
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆11Nov 21, 2024Updated last year
- ☆16Aug 10, 2020Updated 5 years ago
- Sequential and parallel mergesort in Go☆16Apr 4, 2020Updated 6 years ago
- Rust's Enum variant counter☆15Sep 15, 2021Updated 4 years ago
- tmux plugin for pomodoro technique☆13Oct 23, 2024Updated last year
- I like to learn new things☆12Feb 28, 2026Updated 5 months ago
- ☆17Aug 10, 2022Updated 3 years ago
- Customizable project headerline.☆14Mar 11, 2025Updated last year
- Soundboard with no limits☆12Nov 18, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- ☆14Apr 4, 2023Updated 3 years ago
- A simple WebAssembly Linker in JavaScript☆17Jun 15, 2021Updated 5 years ago
- Self-contained C# game in 8 kB☆15Jan 16, 2022Updated 4 years ago
- Serial Line Interface Protocol (SLIP) encoder/decoder with Rust std::{Read, Write} interfaces.☆12Oct 27, 2023Updated 2 years ago
- The Wasm Course☆11Jan 16, 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
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Get relevant files/authors for your code - binary written in rust. Plugins available in NeoVim and VSCode (separate repositories)☆23Oct 18, 2025Updated 9 months ago
- ☆22Mar 20, 2023Updated 3 years ago
- A simple api service to fetch information on diablo 2 information☆11Oct 13, 2021Updated 4 years ago
- The Iron programming language☆16Jan 15, 2019Updated 7 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 10 months ago
- Exploring awesome PL papers in redex☆20Mar 25, 2022Updated 4 years ago
- glsl live coding daemon.☆14May 8, 2018Updated 8 years ago
- React components to create beautiful user interfaces☆19Jun 26, 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.
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 4 years ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- Proposal to add branch hinting functionality to WebAssembly☆18Jul 7, 2025Updated last year
- A simple exercise in 4D shapes rendering☆12Apr 28, 2020Updated 6 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- Request Filtering middleware for ASP.NET Core applications☆13Oct 10, 2016Updated 9 years ago
- Code for the article, Integrating Code Completion in Visual Studio Code With the Language Server Protocol☆12Sep 29, 2023Updated 2 years ago