Kamil Shakirov's repositories
idris2-server
A dependently typed server framework for Idris
bps
Code for the book "Building Problem Solvers" with touchups
Language:Common Lisp000
cl-pdf
CL-PDF is a cross-platform Common Lisp library for generating PDF files.
Language:Common LispNOASSERTION000
NOASSERTION000
Language:CMIT000
Language:CMIT000
idris-lang.org
Idris web site
Language:CSS000
Language:IdrisBSD-3-Clause000
Idris2
A dependently typed programming language, a successor to Idris
Language:IdrisNOASSERTION000
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
GPL-3.0000
Language:CMIT000
Language:CISC000