Pinned Repositories
chu-shogi-tools
Tools for rendering Chu Shogi diagrams (and other Shogi variants), and other useful programs
chu_shogi_server
Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules
ConcProc
Concurrent process DSL
dragonfly-website
Website software written in Haskell for displaying photos of dragonflies and associated articles
dtdocs
darktable user manual
eiffel_gmp
Eiffel bindings to the GNU Multiple Precision Arithmetic Library
EWF
Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)
idris-libmicrohttpd
A binding of the GNU libmicrohttpd library to the Idris C backend
idris-libwebsockets
An Idris wrapper around libwebsockets
lazy_eiffel
Some explorations of lazy data structures with Eiffel
colin-adams's Repositories
colin-adams/chu_shogi_server
Implementation of a Chu Shogi server in Idris that is supposed to be correctly proven against a specification of the rules
colin-adams/idris-libmicrohttpd
A binding of the GNU libmicrohttpd library to the Idris C backend
colin-adams/chu-shogi-tools
Tools for rendering Chu Shogi diagrams (and other Shogi variants), and other useful programs
colin-adams/idris-libwebsockets
An Idris wrapper around libwebsockets
colin-adams/dragonfly-website
Website software written in Haskell for displaying photos of dragonflies and associated articles
colin-adams/eiffel_gmp
Eiffel bindings to the GNU Multiple Precision Arithmetic Library
colin-adams/EWF
Eiffel Web Framework -- Provide a common framework to build easily web server application in Eiffel (portable on various connector and platforms)
colin-adams/lazy_eiffel
Some explorations of lazy data structures with Eiffel
colin-adams/ConcProc
Concurrent process DSL
colin-adams/dtdocs
darktable user manual
colin-adams/idris-bytes
FFI-based byte buffers for Idris
colin-adams/Idris-dev
A Dependently Typed Functional Programming Language
colin-adams/idris-posix
System POSIX bindings for Idris.
colin-adams/idris-SMTP
SMTP email library for Idris
colin-adams/IdrisSqlite
Effectful bindings for SQLite (forked from IdrisWeb)
colin-adams/rembg
Rembg is a tool to remove images background
colin-adams/text
Text framework for Idris
colin-adams/vkdt-camconst
camera support specific data for vkdt, such as noise profiles or input device transform luts