Prototype for https://github.com/Innf107/vega
โ19Jul 22, 2024Updated last year
Alternatives and similar repositories for vega-prototype
Users that are interested in vega-prototype are comparing it to the libraries listed below
Sorting:
- A functional programming language with shell scripting capabilitiesโ131Dec 18, 2025Updated 2 months ago
- ๐ A Rocq library written by members of PnV Discord Serverโ19Updated this week
- โ10Nov 20, 2023Updated 2 years ago
- a TUI app for chatting on Twitchโ12Dec 29, 2023Updated 2 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLitsโ16Jul 25, 2024Updated last year
- My NixOS configurationโ12Updated this week
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applicationsโ11Dec 3, 2024Updated last year
- Z-Pool-Toolโ17Feb 23, 2026Updated last week
- Framework for benchmarking on multiple cores on current-benchโ14Jun 14, 2025Updated 8 months ago
- UNIX is my IDE and Neovim my Emacsโ13Jun 12, 2025Updated 8 months ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.โ31Feb 22, 2026Updated last week
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.โ13Jun 16, 2022Updated 3 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Dec 4, 2024Updated last year
- ๐ (WIP) Formal proofs of "An Infinitely Large Napkin"โ20Feb 18, 2026Updated last week
- An untyped lambda calculus interpreterโ12Nov 25, 2023Updated 2 years ago
- Nix โค๏ธ Cardanoโ19Feb 22, 2026Updated last week
- An overly elaborate example of building a โHello Worldโ package with Nix flakes, OCaml, and Duneโ66Nov 11, 2024Updated last year
- Access unicode character databaseโ18Sep 16, 2025Updated 5 months ago
- โ14Feb 26, 2024Updated 2 years ago
- a ML-style programming language based on the calculus of constructions type theoryโ24Jul 6, 2025Updated 7 months ago
- Modern, pure OCaml socket pool for Riotโ43Apr 15, 2024Updated last year
- โ36Nov 7, 2025Updated 3 months ago
- Demonstration of GTK4 TreeListView with drag-and-dropโ16Sep 21, 2024Updated last year
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ28Oct 24, 2025Updated 4 months ago
- bidirectional type checking algorithms for higher-ranked polymorphismโ19Mar 23, 2022Updated 3 years ago
- Test monadic programs using state machine based modelsโ19Feb 17, 2026Updated 2 weeks ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Aug 13, 2022Updated 3 years ago
- The official Github Repo and Download for the FNAF Modโ10Nov 10, 2015Updated 10 years ago
- Sonic Battle Hack Suite - GUI program for reverse engineering & patching Sonic Battle for the GBA.โ17Jul 19, 2018Updated 7 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskellโ19Apr 11, 2018Updated 7 years ago
- A Framework for building Batched Concurrent Servicesโ21May 20, 2025Updated 9 months ago
- A project-based, guided introduction to Melange and its ecosystem for React developers.โ46Nov 30, 2025Updated 3 months ago
- My Attempt at System Fฯ with Row-Polymorphismโ30Jul 4, 2021Updated 4 years ago
- dependent type theory experimentโ26Mar 1, 2024Updated 2 years ago
- Linear lensโ21Feb 14, 2024Updated 2 years ago
- Low level Haskell bindings to the BearLibTerminal graphics library.โ21Jul 22, 2025Updated 7 months ago
- A GHC plugin to derive instances.โ23Feb 12, 2023Updated 3 years ago
- Violette is a simple functional programming language.โ26Oct 11, 2025Updated 4 months ago
- Exploring the "expression problem" in Rustโ50Oct 2, 2022Updated 3 years ago