Similar repositories to pythonesque/dependent_traits:
pythonesque/dependent_traits
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
toeverything/AFFiNE
github
similar
meilisearch/MeiliSearch
github
similar
tuvtran/project-based-learning
github
similar
tootsuite/mastodon
github
similar
sarsko/CreuSAT
github
similar
tweag/awesome-learning-haskell
github
similar
roc-lang/roc
github
similar
gibiansky/IHaskell
github
similar
danburkert/prost
github
similar
pixijs/pixi.js
github
similar
Twey/agda-imp
github
similar
tlringer/ml-for-proofs
github
similar
wezm/rsspls
github
similar
ralsei/six-eyes
github
similar
ubuntu/microk8s
github
similar
k6io/k6
github
similar
flutter/flutter_web
github
similar
redballoonsecurity/ofrak
github
similar
rodrimati1992/type_level
github
similar
brendanzab/idris-power-of-pi
github
similar
MaisaMilena/JuiceMaker
github
similar
HuStmpHrrr/agda-categories-1
github
similar
bmsherman/finite
github
similar
LightAndLight/parametricity-proofs
github
similar
storm-framework/storm
github
similar
dstu/r4
github
similar
casey/oi
github
similar
SomewhatML/match-compile
github
similar
isovector/compiling-to-categories-redux
github
similar
Kixiron/codespan-salsa
github
similar
pdarragh/camlrack
github
similar
jerry73204/typ
github
similar
alexandrepiveteau/elm-algebraic-graph
github
similar
RedPRL/algaett
github
similar
TOTBWF/agda-tic-tac-toe
github
similar
fsestini/tt-in-cubical
github
similar
robrix/isometry
github
similar