Pinned Repositories
agda-stuff
Miscellaneous Agda code
Foundations
Development of the univalent foundations of mathematics in Coq
Homotopy
Homotopy theory in Coq.
HoTT
Homotopy type theory
ModernMapMerge
an attempt at safe, generic map merging functionality in Haskell
octrees
a Python implementation of the octree data structure and supporting algorithms
tophat
Trainset
Tools for using the UK train data available at data.atoc.org (Python)
webstore
webstore is a web-api enabled datastore backed onto sql databases especially sqlite. It supports the RESTful JSON APIs standard to nosql dbs like CouchDB, MongoDB, Riak but with the power, reliability and familiarity of SQL and RDBMS.
webstore-client
python client library for webstore
jcranch's Repositories
jcranch/octrees
a Python implementation of the octree data structure and supporting algorithms
jcranch/tophat
jcranch/agda-stuff
Miscellaneous Agda code
jcranch/Trainset
Tools for using the UK train data available at data.atoc.org (Python)
jcranch/cond
Basic conditional operators with monadic variants.
jcranch/Foundations
Development of the univalent foundations of mathematics in Coq
jcranch/Homotopy
Homotopy theory in Coq.
jcranch/HoTT
Homotopy type theory
jcranch/ModernMapMerge
an attempt at safe, generic map merging functionality in Haskell
jcranch/webstore
webstore is a web-api enabled datastore backed onto sql databases especially sqlite. It supports the RESTful JSON APIs standard to nosql dbs like CouchDB, MongoDB, Riak but with the power, reliability and familiarity of SQL and RDBMS.
jcranch/webstore-client
python client library for webstore
jcranch/agreement
jcranch/boolean-normal-forms
Boolean normal forms: NNF, DNF & CNF
jcranch/bytestring-trie
An efficient finite map from (byte)strings to values.
jcranch/counter
An object frequency counter for Haskell, just like Python.
jcranch/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
jcranch/HoTT-Agda
Homotopy type theory in Agda
jcranch/idris-ct
formally verified category theory library
jcranch/idris-dependentmaps
An alternative implementation of (sorted) dependent maps in Idris2.
jcranch/indexed-traversable
FunctorWithIndex, FoldableWithIndex, TraversableWithIndex
jcranch/mantissa
Haskell: numbers between 0 and 1, represented as machine words
jcranch/mapping
Haskell package for classes representing functions
jcranch/narya
A proof assistant for higher-dimensional type theory
jcranch/numhask
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
jcranch/partialord
jcranch/stackage
"Stable Hackage": vetted consistent packages from Hackage
jcranch/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
jcranch/tilings
Code for manipulating tilings of {2,3,4}-dimensional space.
jcranch/witherable
Filter with effects