klapaucius / fphistoryruLinks
☆47Updated last month
Alternatives and similar repositories for fphistoryru
Users that are interested in fphistoryru are comparing it to the libraries listed below
Sorting:
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆49Updated 9 months ago
- 🌐 | HTTP primitives for Lean 4☆46Updated 11 months ago
- being an operating system for typechecking processes☆130Updated 2 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 4 months ago
- A tutorial on how Agda infers things☆61Updated 2 months ago
- Benchmarks for capture-avoiding substitution☆120Updated 4 months ago
- A proof assistant for higher-dimensional type theory☆216Updated last month
- Distributors - Unifying Parsers, Printers & Grammars☆55Updated 2 weeks ago
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- GHC Whole Program Compiler and External STG IR tooling☆119Updated 10 months ago
- LLM-powered typed-holes☆46Updated 5 months ago
- LLVM code generation in Haskell☆54Updated 11 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- Compositional Representable Executable Machines☆121Updated 2 months ago
- A core language and API for dependently typed languages☆97Updated 7 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- Neural networks using parametric prelenses and Trimbara modules☆34Updated last year
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆105Updated last week
- Lean 4 port of Megaparsec☆29Updated last year
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆83Updated last month
- SPLV20 course notes☆112Updated 2 years ago
- Staged compilation with dependent types☆182Updated 4 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆106Updated 2 months ago
- Library of the ##dependent distributed research support group☆117Updated last year
- Functional choreographic programming in Haskell☆102Updated 3 months ago
- ☆127Updated last week
- Я - extremely composable embeddable programming language☆87Updated last week
- Compiling Agda code to readable Haskell☆192Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆144Updated 3 weeks ago