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:
- πγRust Atomics and Locksγ- by Mara Bos δΈζηΏ»θ―ηγββγRustεεειγππππππβ25Jul 7, 2023Updated 2 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signaturesβ11Nov 21, 2024Updated last year
- Overdrive/Distortion simulationβ16Dec 3, 2023Updated 2 years ago
- Sequential and parallel mergesort in Goβ16Apr 4, 2020Updated 6 years ago
- Single-header library for simple HTTP requestsβ12Jun 3, 2015Updated 11 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.
- tmux plugin for pomodoro techniqueβ13Oct 23, 2024Updated last year
- Create snapshot commits on a not checked-out branch without touching the working tree or losing staged changesβ17Mar 16, 2026Updated 3 months ago
- I like to learn new thingsβ12Feb 28, 2026Updated 3 months ago
- Write games use jok(zig) through MoonBit(wasm).β16Mar 24, 2025Updated last year
- LSP server for monkeyβ10Mar 4, 2024Updated 2 years ago
- β24Sep 22, 2021Updated 4 years ago
- wasm-interface-types supplement & compiler of wasmedgeβ18Aug 25, 2023Updated 2 years ago
- β16Aug 10, 2020Updated 5 years ago
- β14Apr 4, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Wasm Courseβ11Jan 16, 2024Updated 2 years ago
- Tsar programming languageβ16Dec 22, 2019Updated 6 years ago
- Code accompanying the βwhat does it mean to listen on a portβΒ blog post.β19Feb 15, 2022Updated 4 years ago
- β11Oct 1, 2021Updated 4 years ago
- Self-contained C# game in 8 kBβ15Jan 16, 2022Updated 4 years ago
- Solidity implementation of CDF with 1e-8 precision.β13Jul 17, 2024Updated last year
- Terminal UI that allows Alacritty users to quickly and easily shuffle through provided themes π¦β16Feb 14, 2022Updated 4 years ago
- A simple language that compiles to WASMβ21Apr 28, 2021Updated 5 years ago
- The Voting example based on MoonZoon and Solana.β32Dec 18, 2021Updated 4 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.
- SVG Path Data Micro-Parser targeting custom interface objects.β18Apr 15, 2018Updated 8 years ago
- β17Oct 1, 2015Updated 10 years ago
- Proposal to add branch hinting functionality to WebAssemblyβ18Jul 7, 2025Updated 11 months ago
- β22Mar 20, 2023Updated 3 years ago
- Code for the article, Integrating Code Completion in Visual Studio Code With the Language Server Protocolβ12Sep 29, 2023Updated 2 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β14Oct 10, 2016Updated 9 years ago
- Skills for coding agentsβ43Feb 24, 2026Updated 3 months ago
- NixOps Google Cloud Backendβ25Aug 2, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple URL Mapper service built using Rustβ19Aug 10, 2021Updated 4 years ago
- Obsidian is a simple operating system kernel written in C++.β14Apr 19, 2021Updated 5 years ago
- A simple wav library written in pure C.β10Apr 20, 2017Updated 9 years ago
- Asynchronous X11 Hotkey Daemon (sxhkd alternative)β12Apr 16, 2021Updated 5 years ago
- A Swiss knife for Noirβ17Jun 2, 2026Updated 2 weeks ago
- High-level bindings for wasi-nn system callsβ20Aug 29, 2025Updated 9 months ago
- a template for starting a rust-wasm project to be used with wasm-packβ14Jun 3, 2019Updated 7 years ago