HopHop is a small systems programming language and reference compiler
☆38Jun 6, 2026Updated 4 months ago
Alternatives and similar repositories for hophop
Users that are interested in hophop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming language and compiler —WORK IN PROGRESS—☆73Jul 14, 2022Updated 4 years ago
- The Fae Programming Language Toolchain and Standard Library☆43Oct 11, 2026Updated 2 weeks ago
- Dew is a little programming language which targets the Lua virtual machine☆27Jul 14, 2025Updated last year
- Contemporary systems programming language in the spirit of C☆226Aug 17, 2024Updated 2 years ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 3 months 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.
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆13Jul 14, 2025Updated last year
- Lightweight SDK for streaming AI responses with a compact binary protocol.☆36Apr 18, 2026Updated 6 months ago
- Cross-platform gamepad library for nim☆12May 13, 2023Updated 3 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated last year
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated last year
- A fast and simple, embeddable programming language that targets WebAssembly, x86-64, and ARM64.☆15Oct 24, 2026Updated last week
- My dotfile Configurations☆11Oct 5, 2026Updated 3 weeks ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Oct 19, 2026Updated last week
- My custom Pi skills☆14Oct 5, 2026Updated 3 weeks ago
- Simple messages☆54Aug 11, 2022Updated 4 years ago
- Applicative maps☆16Sep 29, 2024Updated 2 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆87Updated this week
- Shipping games should be simple. One binary to show Vulkan window on all platforms.☆53Apr 20, 2026Updated 6 months ago
- Minimal, type-safe error-as-values library for JS☆21Oct 10, 2025Updated last year
- A command-line application written in Rust, designed to provide quick, trie-based autocomplete suggestions.☆18Nov 5, 2024Updated last year
- Website for Clojure Dialects☆18Updated this week
- 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.
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆17Nov 5, 2023Updated 2 years ago
- Modern Programming Language☆26Oct 8, 2026Updated 3 weeks ago
- Simple HTTP request library for Zig applications☆14Dec 30, 2024Updated last year
- A minimal API framework for Deno with file-based routing.☆10Sep 30, 2026Updated last month
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 7 months ago
- A framework experience for Yew.☆23Dec 1, 2023Updated 2 years ago
- A standalone Preact 10+ implementation of the deprecated `replaceNode` parameter from Preact 10☆16Sep 28, 2026Updated last month
- BQN implementation in Julia☆19Apr 24, 2022Updated 4 years ago
- Newspaper style Vim theme☆14Jan 1, 2017Updated 9 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.
- Some commonly asked about patterns & examples for building Preact projects☆15May 10, 2025Updated last year
- Match and toggle augroups and options☆13Jul 20, 2025Updated last year
- Playbit System interface defines an OS-like computing platform which can be implemented on a wide range of hosts☆341Dec 2, 2021Updated 4 years ago
- LibJS Bindings for some of the SerenityOS C++ libraries☆16Aug 12, 2020Updated 6 years ago
- A utility to make React components easily consume xstream streams☆14Aug 3, 2023Updated 3 years ago
- Kaappi: A Scheme Programming Language Implementation Written in Zig (Kaappi was built with the assistance of AI/LLM)☆21Oct 16, 2026Updated 2 weeks ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 5 months ago