Leo's repositories
clay
A CSS preprocessor as embedded Haskell.
Language:HaskellNOASSERTION000
clay-clone
Fork from clay
Language:HaskellNOASSERTION000
feincms-cleanse
Default HTML cleansing in FeinCMS
Language:PythonBSD-3-Clause000
feincms-elephantblog
A blog for FeinCMS
Language:PythonBSD-3-Clause000
Hedsql-SQLite-simple
Connection for Hedsql to a SQLite database using SQLite-simple library.
Language:HaskellGPL-3.0000
Hedsql-tests
Tests and examples for Hedsql
Language:HaskellGPL-3.0000
idris-datetime
Idris implementation of date and time types
Language:IdrisMIT000
idris-lang.github.io
The Idris website
Language:CSSBSD-3-Clause000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
Language:IdrisBSD-3-Clause000
idris2-refined
Refinement types for Idris2
Language:IdrisBSD-3-Clause000
servant-clay
Servant support for Clay
Language:HaskellNOASSERTION000
software-foundations
Software Foundations in Idris
Language:IdrisMIT000