ska80

bpss

Code for "Building Problem Solvers" book

cl-http

The Common Lisp Hypermedia Server (CL-HTTP)

clrecipes

Code for "Common Lisp Recipes" book

idris-okasaki-pfds

"Purely Functional Data Structures", by Chris Okasaki

pcl

Code for "Practical Common Lisp" book

1am

A minimal testing framework for Common Lisp.

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

clhs

The Common Lisp HyperSpec

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

klisp

Kilo LISP

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

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

rss-reader

RSS Reader

sicp

Code for "Structure and Interpretation of Computer Programs, 2nd edition" book

slock-custom

sodium-idris

Idris bindings for libsodium

specdris

A test framework for Idris

st-custom

stumpwm-contrib

Extension Modules for StumpWM

TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Z80.js

Emulator for the Z80 microprocessor