Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by liesnikov
A curated list of projects in awesome lists by liesnikov .
https://github.com/liesnikov/extensible-elaborator
prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials
dependent-types elaboration haskell programming-language prototype
Last synced: 10 Dec 2024
https://github.com/liesnikov/subterm-metacoq
Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
Last synced: 10 Dec 2024
https://github.com/liesnikov/mkagdaderivation
a nix derivation to build agda libraries
Last synced: 10 Dec 2024
https://github.com/liesnikov/literate-agda-markdown
a tiny pandoc filter to transform agda code blocks into literate agda code blocks
Last synced: 10 Dec 2024
https://github.com/liesnikov/pandoc-templates
personal pandoc markdown templates
Last synced: 10 Dec 2024