Tactic Metaprogramming in Haskell
☆57Jul 7, 2019Updated 7 years ago
Alternatives and similar repositories for tactic-haskell
Users that are interested in tactic-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ⛏️ A refinement proof framework for haskell☆73May 8, 2023Updated 3 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 6 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 5 years ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Toy typechecker for Insanely Dependent Types☆92Oct 15, 2025Updated last year
- Smash products, Wedge products, and other Pointed stuff☆35Jun 9, 2026Updated 4 months ago
- do-notation for Category and "Arrow without arr"☆63Mar 17, 2017Updated 9 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- Category theory concepts in type classes and instances.☆23Sep 18, 2026Updated last month
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 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.
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 6 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆110Aug 11, 2025Updated last year
- Zippers for cofree types☆15Dec 7, 2021Updated 4 years ago
- Provide warnings for unexpected Core generation☆28Nov 17, 2021Updated 4 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 8 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- being a programming language for sequential circuits☆26Oct 6, 2026Updated 3 weeks ago
- NbE course @ Chalmers☆28Sep 24, 2024Updated 2 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.
- type level sets☆67Nov 19, 2019Updated 6 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 6 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 4 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆21Jan 31, 2022Updated 4 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- the global haskell instance repository☆16Feb 5, 2019Updated 7 years ago
- semirings and *-semirings of types in base/haskell-platform☆45Oct 15, 2026Updated 2 weeks ago
- C Layer for Dhall Language☆15Feb 6, 2021Updated 5 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆37Jul 11, 2021Updated 5 years ago
- Lens interface for your filesystem☆23Dec 21, 2020Updated 5 years ago