scmu scmu

Tracking 98 commits to 17 open source packages



Repositories

scmu/foundations-harper
Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Lang...
Agda - Last pushed - 38 stars - 2 forks
scmu/mrm
Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
Haskell - BSD-3-Clause - Last pushed - 8 stars - 1 forks
scmu/aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Agda - Last pushed - 23 stars - 3 forks
scmu/queueing-glueing
An algorithmic pattern that provides amortised linear time solutions to a number of optimal list ...
Haskell - Last pushed - 0 stars
scmu/monad-reasoning
Last pushed - 0 stars
scmu/mds
Code and Proofs Related to the Paper "Functional Pearl: Finding a Densest Segment"
Agda - Last pushed - 2 stars
See all scmu's repositories

Repositories Contributed To

ss1h2a3tw/Haskell-AC
Aho-Corasick in Haskell
Haskell - Last pushed - 1 stars - 2 forks
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
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
See all scmu's contributions

Published Packages

mrm
This package contains an implementation of Modular Reifiable Matching (MRM), a new approach to tw...
Latest release 0.1.0.0 - Published - 8 stars
See all scmu's packages

Last synced: 2017-04-25 01:28:52 UTC

Login to resync this page