Pinned Repositories
free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
lambda-mu-mu-calculus
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
lambdaconf-2018-workshop
LambdaConf 2018 workshop on building Telegram bots in Haskell.
lxc
High level Haskell bindings to LXC (Linux containers).
simple-topes
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
swagger2
Swagger 2.0 data model.
servant-swagger
Swagger for Servant
rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
fizruk's Repositories
fizruk/telegram-bot-simple
Easy to use library for building Telegram bots in Haskell.
fizruk/http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
fizruk/simple-topes
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
fizruk/simple-grin
Compiler from a simple functional language to GRIN.
fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
fizruk/free-accelerate
Data parallel representation for free monads.
fizruk/eertree
Purely functional palindromic tree.
fizruk/soas-quine
Generating quines via E-unification for second-order abstact syntax.
fizruk/accpa-spring-2022
Source code for demonstrations used in the ACC&PA course of Spring 2022.
fizruk/e2-unification
Simple E-unification for second-order syntax.
fizruk/haskell-codeworld-template
Template Haskell project using CodeWorld.
fizruk/bmstu-rzk-demo-2023
Materials for Rzk demo and tutorials for the HoTT seminar at Bauman Moscow State Technical University, Nov 20–21, 2023.
fizruk/formal-phi
Formalization of 𝜑-calculus in Agda.
fizruk/hottest-2023-rzk-demo
Rzk proof assistant demo for HoTTEST talk on October 5th, 2023.
fizruk/SymmetryBook
This 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.
fizruk/time-alchemy-game
fizruk/awesome-bugs
A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers
fizruk/elm-graph-editor
fizruk/itp-school-2023-demo
Demo of formalisations in Rzk for the «Interactions of Proof Assistants and Mathematics» in Regensburg, September 18–29, 2023
fizruk/j2eo
Java to EOLANG Transpiler
fizruk/lambda-lifting-thesis
The source code for the Bachelor thesis: Lambda lifting via data parallel syntax tree representation in Haskell.
fizruk/phi-calculus
fizruk/phi-to-graph
𝜑-terms to graph building commands
fizruk/polystat-cli
fizruk/soas-rock
Build system for incremental and query-driven compiler architecture using Rock and Second-Order Abstract Syntax
fizruk/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
fizruk/tiny-games-hs
Rules for & examples of tiny haskell games
fizruk/ToyPL
fizruk/try-phi
Online interactive parser and translator of EO and 𝜑-calculus
fizruk/TypeTheory
The mathematical study of type theories, in univalent foundations