Similar repositories to kofno/purescript-aws-lambda:
kofno/purescript-aws-lambda
github
similar
gibiansky/IHaskell
github
similar
AtnNn/isabelle-learn
github
similar
Lysxia/coq-recursion-schemes
github
similar
mroman42/optics-form-a-category
github
similar
martinescardo/HoTTEST-Summer-School
github
similar
roc-lang/roc
github
similar
pixijs/pixi.js
github
similar
tuvtran/project-based-learning
github
similar
danistefanovic/build-your-own-x
github
similar
moyix/fauxpilot
github
similar
tootsuite/mastodon
github
similar
spicydonuts/purescript-spectacle-presentation
github
similar
kritzcreek/purpl
github
similar
aztecrex/presenter-webui
github
similar
aztecrex/presenter-control-web
github
similar
Eugeny/terminus
github
similar
Eloston/ungoogled-chromium
github
similar
fritzlabs/Awesome-Mobile-Machine-Learning
github
similar
hecrj/iced
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
andreasabel/type-preserving-cps
github
similar
mounty1/JackRose
github
similar
bjornbm/dimensional-classic
github
similar
effectfully/Categories
github
similar
effectfully/Ouroboros
github
similar
unimath2019-tt/UniMath
github
similar
joyofhaskell/sockets-and-pipes
github
similar
mikesol/joyride
github
similar
effectfully/ECC
github
similar
danelahman/Dep-Mon-Parsing
github
similar
dysinger/purescript-aws
github
similar
wyn/incremental
github
similar
chris-martin/loc
github
similar
andreasabel/sized-types
github
similar
clayrat/idris-linear
github
similar
LogicTypesPrograms/LogicTypesPrograms
github
similar
mroman42/vitrea-agda
github
similar
haskell-effectful/cache-effectful
github
similar
FunctionalRomandie/LambdaCalculusWorkshop
github
similar