Lemonsity's Stars
hiroshi-unno/coar
Collection of Automated Reasoners
swarm-game/swarm
Resource gathering + programming game
camoy/knuth-morris-pratt
goldfirere/ott-tutorial
A tutorial on the ott tool for presenting type theory
jonsterling/forest
My mathematical Zettelkasten, created using forester.
ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
jasonhemann/2024-scheme-workshop-tutorial
idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
codedownio/time-ghc-modules
Analyze GHC .dump-timings files
be5invis/Iosevka
Versatile typeface for code, from code.
mrandri19/Wand87-A-Simple-Algorithm-and-Proof-for-Type-Inference
My OCaml implementation of Wand's A Simple Algorithm and Proof for Type Inference (1987)
d2phap/ImageGlass
🏞 A lightweight, versatile image viewer
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
snejugal/typedKanren
A statically typed embedding of miniKanren in Haskell
miniKanren/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
webyrd/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
webyrd/miniKanren
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
miniKanren/miniKanren
Canonical miniKanren implementation
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
wez/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
versotile-org/verso
A web browser that plays old world blues to build new world hope
jordanbray/chess
A rust library to manage chess move generation
liamnaddell/LDCSP
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
darkfeline/dantalian
File tagging with hard links
TagStudioDev/TagStudio
A User-Focused Photo & File Management System
mpv-player/mpv
🎥 Command line video player
greghendershott/racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
donkuri/Kaishi
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
ccz181078/Coq-BB5