ska80

idris2-server

A dependently typed server framework for Idris

blog

My Blog

bps

Code for the book "Building Problem Solvers" with touchups

cl-pdf

CL-PDF is a cross-platform Common Lisp library for generating PDF files.

cl-typesetting

dmenu-custom

dwm-custom

gitignore

A collection of useful .gitignore templates

go-ipfs

IPFS implementation in Go

guix

Guix configuration

Idris-dev

A Dependently Typed Functional Programming Language

idris-lang.org

Idris web site

idris-minisat

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.

magicl

Matrix Algebra proGrams In Common Lisp.

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

sh

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

SICL

A fresh implementation of Common Lisp

sirdi

Package manager for Idris

slstatus-custom

SPLV20

SPLV20 course notes

strapdown

Instant and elegant Markdown documents in the browser

streams

MSL Engine for Mimix Nebula 2.0.

stumpwm

The Stump Window Manager

syncthing

Open Source Continuous File Synchronization