Kamil Shakirov's repositories
idris2-server
A dependently typed server framework for Idris
cl-pdf
CL-PDF is a cross-platform Common Lisp library for generating PDF files.
Language:Common LispNOASSERTION000
Language:CMIT000
Language:CMIT000
idris-lang.org
Idris web site
Language:CSS000
Language:IdrisBSD-3-Clause000
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
Idris2-Erlang
Erlang code generator for Idris 2
LISP-Machine
Archive of LISP Machine, Inc.
order-taking
Idris version of Domain Modeling Made Function Book.
parenscript
Mirror of https://gitlab.common-lisp.net/parenscript/parenscript
responsible
Idris 2 HTTP Api Server
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation