Similar repositories to andriusvelykis/proofprocess:
andriusvelykis/proofprocess
github
similar
andriusvelykis/isabelle-eclipse
github
similar
andriusvelykis/isabelle-scala
github
similar
xgrommx/agda-ecosystem
github
similar
larsrh/libisabelle
github
similar
conal/talk-2018-deep-learning-rebooted
github
similar
mikeshulman/catlog
github
similar
timperrett/functional-microservice-example
github
similar
mchav/froid
github
similar
debasishg/cqrs-akka
github
similar
andriusvelykis/reflow-maven-skin
github
similar
copumpkin/categories
github
similar
jozefg/higher-order-unification
github
similar
ekmett/hask
github
similar
nanopass/nanopass-framework-racket
github
similar
kframework/kore
github
similar
mattearnshaw/lawvere
github
similar
system-f/lets-lens
github
similar
RedPRL/sml-redprl
github
similar
dyoo/whalesong
github
similar
ivanperez-keera/haskanoid
github
similar
bgavran/Category_Theory_Machine_Learning
github
similar
ekmett/machines
github
similar
ollef/Earley
github
similar
Gabriel439/Haskell-Morte-Library
github
similar
benl23x5/gloss
github
similar
HoTT/HoTT-Agda
github
similar
phadej/github
github
similar
conal/concat
github
similar
statebox/awesome-applied-ct
github
similar
jwbuurlage/category-theory-programmers
github
similar
AlgebraicJulia/Catlab.jl
github
similar
HOL-Theorem-Prover/HOL
github
similar
uwplse/verdi
github
similar
derive4j/derive4j
github
similar
alexmingoia/purescript-pux
github
similar
michaelt/martin-lof
github
similar
jwiegley/category-theory
github
similar
cvc5/cvc5
github
similar
haskell-nix/hnix
github
similar