dtekcth / pluggLinks
☆19Updated 3 years ago
Alternatives and similar repositories for plugg
Users that are interested in plugg are comparing it to the libraries listed below
Sorting:
- HoTTEST Summer School materials☆297Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- Notes from the Computer Science program at Chalmers Uni. of Technology☆14Updated 7 years ago
- Code challenges to solve with Haskell☆155Updated last month
- A Language with Dependent Data and Codata Types☆105Updated this week
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 3 years ago
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implement…☆123Updated last week
- A simple library for reporting compiler/interpreter errors☆263Updated 9 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆127Updated last year
- A new Categories library for Agda☆381Updated last week
- Compiling Agda code to readable Haskell☆189Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆120Updated 3 months ago
- Haskell implemented with combinators☆484Updated this week
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆124Updated 3 weeks ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A theory‑backed, ultra type‑safe algebraic effects☆156Updated last week
- Functional choreographic programming in Haskell☆94Updated 6 months ago
- A work-in-progress language and compiler for verified low-level programming☆307Updated last week
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Staged compilation with dependent types☆174Updated last month
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆208Updated last month
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆420Updated this week
- 🕵️ Haskell STatic ANalyser☆584Updated 2 weeks ago
- Natural language tactics to teach mathematics using Lean 4☆78Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-value☆53Updated this week
- Domain-Specific Languages of Mathematics☆438Updated 2 months ago
- The agda-unimath library☆255Updated this week
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 6 months ago
- Benchmarks for capture-avoiding substitution☆114Updated last week