Kamil Shakirov's repositories
idris-okasaki-pfds
"Purely Functional Data Structures", by Chris Okasaki
aima-data
Data files to accompany the algorithms from Norvig And Russell's "Artificial Intelligence - A Modern Approach"
aima-java
Java implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
aima-lisp
Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
aima-pseudocode
Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
formik-persist
đź’ľ Persist and rehydrate a Formik form to localStorage
homebrew-core
:beers: Core formulae for the Homebrew package manager
idris-vdom
Virtual DOM in pure Idris
Idris2
A dependently typed programming language, a successor to Idris
lisp-random
A smattering of random Lisp code by Robert Smith
local-time
Time manipulation library for Common Lisp
native-utils
A simple library class which helps with loading dynamic JNI libraries stored in the JAR archive
rss-reader
RSS Reader
sicp
Code for "Structure and Interpretation of Computer Programs, 2nd edition" book
sodium-idris
Idris bindings for libsodium
stumpwm-contrib
Extension Modules for StumpWM
TypeDD-Samples
Sample code from "Type Driven Development with Idris"