Norpl (NOt a Real Programming Language) is a skeleton language for research purposes
☆22Jun 26, 2022Updated 3 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
- Samosa helps developers prioritize what needs to be tested.☆12Feb 23, 2023Updated 3 years ago
- A Protobuf IDL parser for Go☆17Updated this week
- 📖《Rust Atomics and Locks》- by Mara Bos 中文翻译版。——《Rust原子和锁》👀👀👀👀👀👀☆25Jul 7, 2023Updated 2 years ago
- This utility verifies all commands used by a shell script against an allow list☆11Jan 1, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A network file box☆14Mar 21, 2023Updated 3 years ago
- Small KVM-based hypervisor, boots Linux (WIP)☆13May 5, 2024Updated last year
- The style-loader for esbuild.☆25Mar 21, 2022Updated 4 years ago
- Rust's Enum variant counter☆15Sep 15, 2021Updated 4 years ago
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changes☆17Mar 16, 2026Updated last week
- 🍄 A parser, interpreter and compiler for libmagic rule files in golang☆21Feb 22, 2026Updated last month
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- ☆17Aug 10, 2022Updated 3 years ago
- Customizable project headerline.☆14Mar 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Apr 4, 2023Updated 2 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- Traversals in Rust☆21Oct 10, 2016Updated 9 years ago
- BitTorrent协议中文翻译（p2p协议,p2p网络，对等网络）☆15Jan 7, 2023Updated 3 years ago
- A Haskell library: A fancy logging effect for Polysemy using the formatting library to format log messages.☆12Jul 16, 2021Updated 4 years ago
- ☆86Mar 29, 2024Updated 2 years ago
- Solidity implementation of CDF with 1e-8 precision.☆14Jul 17, 2024Updated last year
- Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes 🦄☆16Feb 14, 2022Updated 4 years ago
- LSP inline hints for Lua, intended for use with Neovim.☆15May 31, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The Voting example based on MoonZoon and Solana.☆32Dec 18, 2021Updated 4 years ago
- A simple api service to fetch information on diablo 2 information☆11Oct 13, 2021Updated 4 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- 🦙🦙.🦀☆28Sep 24, 2023Updated 2 years ago
- A (very) simple graph library.☆12Apr 6, 2015Updated 10 years ago
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated last year
- glsl live coding daemon.☆14May 8, 2018Updated 7 years ago
- A Rust framework that bridges clap command-line applications with the Model Context Protocol (MCP)☆30Jun 14, 2025Updated 9 months ago
- Proposal to add branch hinting functionality to WebAssembly☆18Jul 7, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ⏪ Rust Iterator for reading files line by line with a buffer in reverse☆24Jun 22, 2023Updated 2 years ago
- bindings and safe wrappers for libxkbcommon☆23Oct 25, 2025Updated 5 months ago
- static site generator for obsidian☆26Feb 18, 2023Updated 3 years ago
- ☆11Nov 2, 2024Updated last year
- ☆22Mar 20, 2023Updated 3 years ago
- [work-in-progress] Java parser written in Rust☆19May 19, 2022Updated 3 years ago
- NixOps Google Cloud Backend☆26Aug 2, 2023Updated 2 years ago