ska80 Goto Github PK

paip-lisp

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

pal

Fast and friendly 2d game library for Common Lisp

parenscript

Mirror of https://gitlab.common-lisp.net/parenscript/parenscript

pcl

Code for "Practical Common Lisp" book

qemacs

QEmacs (for Quick Emacs) is a very small but powerful UNIX editor

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

rss-reader

RSS Reader

sh

A shell parser, formatter, and interpreter with bash support; includes shfmt

sicl

A fresh implementation of Common Lisp

sicp

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

sirdi

Package manager for Idris

ska80.github.io

Personal homepage

slock-custom

slstatus-custom

sly

Sylvester the Cat's Common Lisp IDE

sodium-idris

Idris bindings for libsodium

specdris

A test framework for Idris

splv20

SPLV20 course notes

sqlcipher

SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.

st-custom

strapdown

Instant and elegant Markdown documents in the browser

streams

MSL Engine for Mimix Nebula 2.0.

stumpwm

The Stump Window Manager

stumpwm-contrib

Extension Modules for StumpWM

syncthing

Open Source Continuous File Synchronization

thinlisp

ThinLisp is an open source Lisp to C translator.

tinygl

TinyGL : a Small, Free and Fast Subset of OpenGL*

typedd-samples

Sample code from "Type Driven Development with Idris"

xv6-riscv-book

Text describing xv6 on RISC-V