molikto's Stars
996icu/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
github/semantic
Parsing, analyzing, and comparing source code across many languages
material-components/material-components-android-examples
Companion example apps and code for MDC-Android.
vyzo/gerbil
Gerbil Scheme
math-comp/math-comp
Mathematical Components
AndrasKovacs/smalltt
Demo for high-performance type theory elaboration
disconcision/fructure
a structured interaction engine 🗜️ ⚗️
agda/cubical
An experimental library for Cubical Agda
UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
zsxsoft/my-beancount-scripts
Git repo to save my Beancount scripts
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
djspiewak/gll-combinators
A parser combinator library based on the GLL algorithm
RedPRL/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
djspiewak/parseback
A Scala implementation of parsing with derivatives
avsm/xen-minios
Really mini operating system (extracted from xen-unstable, and much stuff removed)
ditto/ditto
A Super Kawaii Dependently Typed Programming Language
Lencerf/vscode-beancount
VSCode extension for Beancount
regb/scala-game-library
Scala library for cross-platform 2D game development
mbutterick/quad
document processor in Racket
andreasabel/miniagda
A prototypical dependently typed languages with sized types and variances
InitialTypes/Club
Organization and planning for the Initial Types Club
ekmett/cadenza
every day i'm truffling
djspiewak/sparse
Generalized, incremental parser combinators for scalaz-stream
softdevteam/eco
Editor for language composition
AndrasKovacs/normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
MaximeKjaer/tf-dotty
Shape-safe TensorFlow in Dotty
pigworker/TypesWhoSayNi
being the materials for a paper I have in mind to write about the bidirectional discipline
Blaisorblade/Agda-playground
My Agda experiments
phyver/chariot
Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
spire/type-inference
Code from Gundry's thesis