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"
Blodwen
A prototype successor to Idris
clx
a fork of crhodes' fork of danb's fork of the CLX library, an X11 client for Common Lisp
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
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
specdris
A test framework for Idris
stumpwm-contrib
Extension Modules for StumpWM
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
Z80.js
Emulator for the Z80 microprocessor