matteo-meluzzi / agda2hvmView external linksLinks
☆12May 7, 2023Updated 2 years ago
Alternatives and similar repositories for agda2hvm
Users that are interested in agda2hvm are comparing it to the libraries listed below
Sorting:
- Asynchronous type-checking for Agda 2.6.2.☆22May 17, 2024Updated last year
- 🧪 | LLVM backend for HVM☆23May 23, 2023Updated 2 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- ☆14Sep 10, 2023Updated 2 years ago
- Type Level Regular Expressions☆12Sep 26, 2023Updated 2 years ago
- A programming language, aka a THING☆10Sep 22, 2020Updated 5 years ago
- Session types framework with support of protocol pipelining.☆16Feb 6, 2026Updated last week
- Advent of Code in Roc☆14Feb 16, 2022Updated 3 years ago
- Easily build canvas applications in PureScript — Compatible with Halogen☆15Oct 18, 2025Updated 3 months ago
- Github action for esy☆16Jan 29, 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
- ☆16Feb 3, 2021Updated 5 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 2 years ago
- 💡 LightRouter is a router made for Revery☆19Jul 14, 2020Updated 5 years ago
- Animation of Yves Lafont's Interaction Combinators☆23Jan 30, 2022Updated 4 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated last year
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 2 months ago
- Toy programming language☆20May 18, 2024Updated last year
- ☆23Aug 2, 2020Updated 5 years ago
- This is our exercise for developers. We evaluate necessary programming skills and patterns. See the job description on our website.☆18Jun 17, 2020Updated 5 years ago
- A general-purpose layer 2 zk-rollup scaling solution for Cardano☆21Sep 28, 2022Updated 3 years ago
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 3 months ago
- Bindings for polished, a lightweight toolset for writing styles in JavaScript, now in ReScript ✨.☆18Updated this week
- Reason hello world for Cloudflare Workers☆21Sep 26, 2024Updated last year
- ReScript bindings for React Testing Library☆22Dec 23, 2022Updated 3 years ago
- Simple pomodoro application. Written in ReScript and ReactJS.☆23May 15, 2021Updated 4 years ago
- 🤙 Bridging Rust 🦀 with WebAssembly (WASM) 🕸️ and React-Native 🌐☆27Jun 10, 2023Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 3 years ago
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated last year
- Flake Template for Haskell Projects☆26Feb 2, 2026Updated last week
- ☆24Nov 23, 2025Updated 2 months ago
- An example of a modal-like app in Revery☆26Jul 26, 2020Updated 5 years ago
- A golang client libary for the proxmox ve rest api☆11Dec 1, 2021Updated 4 years ago
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆32Updated this week
- Example of a BuckleScript monorepo setup☆31Jan 7, 2023Updated 3 years ago
- ☆27Jul 18, 2023Updated 2 years ago
- A simple game-engine/ui library☆24Apr 6, 2017Updated 8 years ago
- ✅ Schema validation made easy for ReScript☆35Jan 22, 2024Updated 2 years ago