Alex Gryzlov's repositories
sequent-calc
Experiments with sequent calculi
modal-types
Experiments with modal types
blott-experiments
Experiments with dependent modal types
idris-trees
Trees in Idris
idris-selective
Selective functors in Idris
idris-functors
Functors
alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
dwujescica
Polish cyrillic system
idris-order
Order/domain theory
coind-sem-while
Coinductive trace-based semantics for the While language in Coq
coq-lecture-notes
Coq Lecture Notes
great-library-of-idris
A crowd-sourced list of papers using Idris
Idris-Profunctors
A small profunctor library for idris
Language:Idris000
linear.agda
A library and case-study for linear, intrinsically-typed interpreters in Agda
monix-kafka
Monix integration with Kafka
nbe-course
NbE course @ Chalmers