fizruk

juliamono

repository for JuliaMono, a monospaced font with reasonable Unicode support.

Arend

The Arend Proof Assistant

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

mazeppa

A modern supercompiler for call-by-value functional languages

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

microKanren

The implementation of microKanren, a featherweight relational programming language

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

impala

An imperative and functional programming language

narya

A proof assistant for higher-dimensional type theory

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

rock

Build system

these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.

OCanren

Statically typed embedding of miniKanren relational programming language into OCaml

arend-lib

swagger2

Swagger 2.0 data model.

ground_zero

Ground Zero: Lean 4 HoTT Library

kast

An experimental programming language

miniKanren-coq

A certified semantics for relational programming workout.

ho-rewriting

A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders

typedKanren

A statically typed embedding of miniKanren in Haskell

streamliner

TheHorrorOfHaskell

Boo

regensburg-itp-school-2023

Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg

stella-tests

Тесткейсы с описанием для языка Stella

rzk-action

GitHub Action to check formalisations using rzk proof assistant.

reverse-proxy

bootfrost

klogic

An implementation of miniKanren in Kotlin

tree-sitter-rzk

A tree-sitter grammar for https://github.com/rzk-lang/rzk