akaposi / ELTE-func-lang
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆33Updated this 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
Sorting:
- A language based on homotopy type theory with an interval☆85Updated 10 years ago
- LLVM code generation in Haskell☆54Updated 6 months ago
- Examples using dependent types for mathematical proofs at the type level☆13Updated 5 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- Benchmarking tool for compile-time performance of Agda programs☆18Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- playing with resumable computations☆13Updated 5 years ago
- System F-omega normalization by hereditary substitution in Agda☆59Updated 5 years ago
- Generated migrations for beam databases☆20Updated 7 months ago
- Resources to look at in concert with my Haskell videos☆15Updated 2 years ago
- An experimental category theory library for Lean☆51Updated last year
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 6 months ago
- A simple functional programming language.☆21Updated 3 years ago
- ☆47Updated 5 months ago
- All the Transient libraries☆40Updated last month
- The multimode presheaf proof-assistant☆36Updated 2 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Port "Software Foundations" to LiquidHaskell☆11Updated 5 years ago
- Library of categories, with categorical constructions on them☆56Updated last year
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 3 months ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- ☆29Updated 3 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated 3 months ago
- ☆20Updated 4 years ago
- Constraint-based generics☆49Updated last year
- a monadic graph library☆39Updated 2 months ago
- Haskell bindings to OpenGL (direct C bindings)☆47Updated 10 months ago
- Content for the stackage.org site☆10Updated last week