Ohad Kammar's repositories
algebra-chapter-0-solutions
The solution to Algebra : Chapter 0 by Paolo Aluffi.
idris-satyr
Various SAT and SMT bindings for idris
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
idrall
Dhall bindings for Idris
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris-session
Library for client-side sessions with the Idris2 IDE protocol
Idris2-boot
A dependently typed programming language, a successor to Idris
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
idris2-mode-1
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
idris2-odf
An OpenDocument Format (ODF) library for Idris 2
idris2-python
A Python backed for Idris 2
idris2-table
A table library for Idris 2
Idris2GL
A Graphics Library for Idris 2.
module-bug-report
Bug report
ott-example
OTT in Agda
system-litmus-harness
test harness for systems-concurrency litmus tests, as a QEMU guest
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
Yaffle
A core language and API for dependently typed languages