ksantiago / pikrossLinks
☆10Updated 2 years ago
Alternatives and similar repositories for pikross
Users that are interested in pikross are comparing it to the libraries listed below
Sorting:
- TOTEM: an app for all your nights out☆11Updated last year
- ☆10Updated 3 years ago
- interactive chord progression generator☆12Updated 2 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Updated last year
- Code challenges to solve with Haskell☆181Updated 2 months ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- A prompt engineering functional programming language☆477Updated 2 weeks ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆253Updated last month
- Lecture notes on univalent foundations of mathematics with Agda☆231Updated 3 weeks ago
- A new Categories library for Agda☆391Updated 2 weeks ago
- formally verified category theory library☆268Updated 5 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆639Updated last week
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- Demo for high-performance type theory elaboration☆572Updated 2 years ago
- ☆234Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 3 years ago
- A friendly effect system for Haskell☆235Updated last year
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 4 years ago
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆22Updated 3 years ago
- A proof assistant for higher-dimensional type theory☆224Updated 3 months ago
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆266Updated this week
- Selected Papers of Dana S. Scott☆169Updated last year
- The agda-unimath library☆278Updated last week
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 10 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆313Updated last year
- A List of Foundational Haskell Papers☆43Updated 7 years ago
- The Ott tool for writing definitions of programming languages and calculi☆398Updated 11 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆356Updated last week