Dependent Lens FRP and concurrent model in Agda
☆12Sep 19, 2026Updated last month
Alternatives and similar repositories for agdelte
Users that are interested in agdelte are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AVL+ tree☆12Feb 11, 2020Updated 6 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- 💅 A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.☆17Oct 13, 2026Updated 2 weeks ago
- A textbook on formal languages and automata, in Russian☆26Feb 24, 2020Updated 6 years ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 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.
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Jun 24, 2016Updated 10 years ago
- ☆10Jun 7, 2024Updated 2 years ago
- *UNMAINTAINED* type definitions (for TypeScript) for JavaScript library Sanctuary☆12May 21, 2017Updated 9 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆11Jan 5, 2024Updated 2 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Limited svg renderer based on Rasterific☆14Jul 13, 2023Updated 3 years ago
- Inspecting tool for GHC compilation pipeline☆34Sep 17, 2025Updated last year
- 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.
- Parallel, fused reducers for Lean 4☆16Oct 19, 2026Updated last week
- Simple script that allows installing homebrew formulas/casks from paths☆15Oct 7, 2026Updated 2 weeks ago
- Monadic capabilities with late binding☆30Oct 30, 2023Updated 2 years ago
- HoTT Book formalisations in Rzk.☆24Jun 15, 2026Updated 4 months ago
- The OpenCV2 HOG cascade ported for OpenCV3☆11Nov 23, 2016Updated 9 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks post…☆25Oct 1, 2026Updated 3 weeks ago
- Setoid type theory implementation☆41Aug 24, 2023Updated 3 years ago
- My PhD thesis.☆14Jun 30, 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.
- Box drawing character utility☆15Aug 7, 2013Updated 13 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- A sample application for getting started quickly☆13Oct 9, 2026Updated 2 weeks ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- ☆15Apr 9, 2026Updated 6 months ago
- Port of purescript-halogen to Haskell☆48Updated this week
- Collection of Useful Features of the Coq Proof Assistant☆10Mar 27, 2024Updated 2 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.
- Planning at the speed of thought☆13Mar 15, 2018Updated 8 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Frege interface to Android☆15Sep 16, 2015Updated 11 years ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Babel plugin to transform project relative import paths to file relative import paths.☆18Sep 13, 2016Updated 10 years ago
- ☆11Mar 23, 2026Updated 7 months ago