Giters
Martin Stone Davis (m0davis)

m0davis

Geek Repo

1

followers

4

following

29

stars

Github PK Tool:Github PK Tool

Martin Stone Davis's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

agda-prelude

Programming library for Agda

Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cubical-demo

Language:AgdaStargazers:0Issues:0Issues:0

hxt

Haskell XML Toolbox

Language:HaskellStargazers:0Issues:0Issues:0

oscar

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:2Issues:1

Pivotal

Language:AgdaStargazers:0Issues:2Issues:0

scratch

Language:AgdaLicense:AGPL-3.0Stargazers:0Issues:2Issues:1