akaposi / ELTE-func-lang
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆33Updated last week
Alternatives and similar repositories for ELTE-func-lang:
Users that are interested in ELTE-func-lang are comparing it to the libraries listed below
- A language based on homotopy type theory with an interval☆85Updated 10 years ago
- Examples using dependent types for mathematical proofs at the type level☆13Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- APIs for more recursive definitions☆19Updated 6 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Updated last month
- Tools for building 3D interactive programs in Haskell☆70Updated last month
- Speculate laws about Haskell functions☆30Updated 2 months ago
- System F-omega normalization by hereditary substitution in Agda☆58Updated 5 years ago
- A logical authorization system☆50Updated 3 years ago
- Snippets for competitive programming in Haskell☆22Updated 7 years ago
- Fixed length vector for haskell☆21Updated 3 months ago
- LLVM code generation in Haskell☆54Updated 5 months ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Efficiently scale, crop, flip images with JuicyPixels☆14Updated 3 weeks ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- Programming library for Agda☆127Updated 8 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- An experimental category theory library for Lean☆49Updated last year
- Instances for QuickCheck classes☆14Updated 3 months ago
- A TACtic library for Agda☆48Updated 7 months ago
- ☆47Updated 5 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 5 months ago
- a monadic graph library☆39Updated last month
- Summer school on programming in Agda☆68Updated last year
- The theory of groups☆76Updated last year
- The Software Foundations book, in GHC☆82Updated 3 months ago
- Automatic testing of Haskell programs.☆13Updated 10 months ago