Bohdan Liesnikov's repositories
extensible-elaborator
prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-core
EVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME
agda2hs
Compiling Agda code to readable Haskell
agda2scheme
Compiler backend for generating Scheme code
Coq-Equations
A function definition package for Coq
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
lguf-brightness
Adjust brightness for LG UltraFine 4K display (cross platform)
hk-pandoc-filters
My Lua filters for Pandoc document processor
literate-agda-markdown
a tiny pandoc filter to transform agda code blocks into literate agda code blocks
LNCS
Improved Lecture Notes in Computer Science (LNCS) template
mkAgdaDerivation
a nix derivation to build agda libraries
mlang
toying around with rust
msc-thesis
my master's thesis
nixpkgs
Nix Packages collection & NixOS
pandoc-templates
personal pandoc markdown templates
papers-we-love.github.io
Official Papers We Love site
pl-group-retreat-workshop-2022
Material for the Agda course at the PL retreat 2022.
scope
An agda2hs-compatible library for well-scoped syntax
subterm-metacoq
Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
tiddlywiki-translations
Translations for TiddlyWiki 2.x
unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)