noamz noamz

Tracking 284 commits to 15 open source packages



Repositories

noamz/linlam-gos
linear lambda calculus and graphs on surfaces
Haskell - MIT - Last pushed - 2 stars
See all noamz's repositories

Repositories Contributed To

peterlefanulumsdaine/UniMath2017-CategoryTheory
Category theory group projects at UniMath workshop, Birmingham, Dec 2017
Coq - Last pushed - 1 stars
hdwarapu/check-rep
Check
TeX - Last pushed - 1 stars
np/agda-git-experiment
darcs-bridge experiment with Agda repository
Haskell - Other - Last pushed - 0 stars
masondesu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 0 stars - 24 forks
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
dagit/agda
Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can...
Haskell - Other - Updated - 1 stars
See all noamz's contributions

Last synced: 2016-12-17 06:09:52 UTC

Login to resync this page