James Chapman James Chapman

Tracking 802 commits to 28 open source packages

Free the group. Nuke the kernel. Power to the n.


Repositories

jmchapman/Big-step-Normalisation
Agda formalisations of some big-step normalization proofs
Agda - Last pushed - 11 stars - 2 forks
jmchapman/restriction-categories
A formalisation of Restriction Categories in Agda
Agda - Last pushed - 5 stars - 1 forks
jmchapman/Relative-Monads
Relative Monad Library for Agda
Agda - MIT - Last pushed - 22 stars - 3 forks
jmchapman/TT-in-TT
Type theory in type theory
Last pushed - 11 stars - 2 forks
jmchapman/ITT9200
ITT9200 - A reading group on "Syntax and Semantics of Dependent Types" by Martin Hofmann
Last pushed - 5 stars - 1 forks
jmchapman/Go-Tour
Go - Last pushed - 1 stars
See all James Chapman's repositories

Repositories Contributed To

andreasabel/continuous-normalization
Evaluation of typed terms in Agda using the Delay monad.
Agda - Other - Last pushed - 5 stars - 1 forks
larrytheliquid/pigit
seeing what Epigram looks like after a darcs-fastconvert (NOT AN OFFICIAL MIRROR)
Haskell - MIT - Last pushed - 5 stars - 1 forks
mietek/epigram2
Mirror of Epigram 2, by Conor McBride, et al.
Haskell - MIT - Last pushed - 20 stars - 2 forks
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
See all James Chapman's contributions

Published Packages

github.com/jmchapman/Go-Tour
Go-Tour
Latest release - Published - 1 stars
See all James Chapman's packages

Most Used Packages

R.NET.Community.FSharp
Transitional package, you can remove and directly use nuget package ID R.NET.FSharp
Latest release 1.7.0 - Updated - 233 stars
FSharp.Data
The F# Data library (FSharp.Data.dll) implements everything you need to access data in your F# ap...
Latest release 3.3.3 - Updated - 563 stars
FunScript.TypeScript.Binding.lib
FunScript binding for lib (BETA version).
Latest release 1.1.0.37 - Updated - 448 stars
MathNet.Numerics
Math.NET Numerics is the numerical foundation of the Math.NET project, aiming to provide methods ...
Latest release 4.11.0 - Updated - 2.15K stars
Deedle.RPlugin
Deedle implements an efficient and robust frame and series data structures for manipulating with ...
Latest release 2.1.0 - Updated - 607 stars
Deedle
Deedle implements an efficient and robust frame and series data structures for manipulating with ...
Latest release 2.1.0 - Updated - 607 stars
See all James Chapman's most used packages

Last synced: 2016-12-17 06:10:23 UTC

Login to resync this page