akaposi / ELTE-func-langLinks
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆35Updated 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 formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆402Updated 3 weeks ago
- An experimental library for Cubical Agda☆508Updated this week
- A new Categories library for Agda☆389Updated last week
- The agda-unimath library☆270Updated this week
- Minimal implementations for dependent type checking and elaboration☆733Updated 2 months ago
- ELTE IK tananyagok☆119Updated last year
- HoTTEST Summer School materials☆313Updated 4 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆384Updated last year
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆248Updated 2 months ago
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- The Agda standard library☆629Updated last week
- A systems theorem prover☆12Updated last year
- 🌈 Haskell CLI Framework supporting Command Line Interface Guidelines☆198Updated last year
- The Arend Proof Assistant☆731Updated 7 months ago
- Staged compilation with dependent types☆183Updated 5 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆440Updated last month
- A proof assistant for higher-dimensional type theory☆216Updated last month
- Proof assistant based on the λΠ-calculus modulo rewriting☆355Updated this week
- 😎TT☆233Updated 2 months ago
- A lexical analyser generator for Haskell☆314Updated 2 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 2 months ago
- Catalog of visual lambda calculi☆157Updated 3 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆634Updated this week
- GRIN backend for GHC☆144Updated 3 years ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆223Updated 7 months ago
- A simple library for reporting compiler/interpreter errors☆267Updated last year
- ☆47Updated last year
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆299Updated this week