-
telegram-bot-simple Public
Easy to use library for building Telegram bots in Haskell.
-
http-api-data Public
Converting to/from HTTP API data like URL pieces, headers and query parameters.
-
free-foil Public
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
-
QuestPatcher Public
Forked from Lauriethefish/QuestPatcherGeneric il2cpp modding tool for Oculus Quest (1/2/3) apps.
C# zlib License UpdatedDec 28, 2024 -
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Shell MIT License UpdatedAug 26, 2024 -
-
-
soas-rock Public
Build system for incremental and query-driven compiler architecture using Rock and Second-Order Abstract Syntax
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 28, 2024 -
soas-quine Public
Generating quines via E-unification for second-order abstact syntax.
-
bmstu-rzk-demo-2023 Public
Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.
-
-
hottest-2023-rzk-demo Public
Rzk proof assistant demo for HoTTEST talk on October 5th, 2023.
-
itp-school-2023-demo Public
Demo of formalisations in Rzk for the «Interactions of Proof Assistants and Mathematics» in Regensburg, September 18–29, 2023
JavaScript UpdatedSep 27, 2023 -
haskell-codeworld-template Public
Template Haskell project using CodeWorld.
-
SymmetryBook Public
Forked from UniMath/SymmetryBookThis book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
-
simple-topes Public
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
-
-
simple-grin Public
Compiler from a simple functional language to GRIN.
-
tiny-games-hs Public
Forked from haskell-game/tiny-games-hsRules for & examples of tiny haskell games
Haskell UpdatedFeb 10, 2023 -
e2-unification Public
Simple E-unification for second-order syntax.
-
ToyPL Public
Forked from dzendos/ToyPLHaskell BSD 3-Clause "New" or "Revised" License UpdatedAug 10, 2022 -
-
TypeTheory Public
Forked from UniMath/TypeTheoryThe mathematical study of type theories, in univalent foundations
Coq UpdatedMay 31, 2022 -
free-accelerate Public
Data parallel representation for free monads.
-
-
accpa-spring-2022 Public
Source code for demonstrations used in the ACC&PA course of Spring 2022.
-
awesome-bugs Public
Forked from polystat/awesome-bugsA taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers
TeX MIT License UpdatedApr 22, 2022 -
try-phi Public
Forked from objectionary/try-phiOnline interactive parser and translator of EO and 𝜑-calculus
Haskell UpdatedJan 31, 2022 -
lambda-lifting-thesis Public
Forked from MatrosovaTalia/lambda-lifting-thesisThe source code for the Bachelor thesis: Lambda lifting via data parallel syntax tree representation in Haskell.
Yacc UpdatedOct 28, 2021 -
{{ message }}