ska80 Goto Github PK

guix

Guix configuration

healthtrack

Health Track is an app designed to make it as fast and as easy as possible to record information about your health

homebrew-core

:beers: Core formulae for the Homebrew package manager

idris-dev

A Dependently Typed Functional Programming Language

idris-jvm

JVM bytecode back end for Idris

idris-lang.org

Idris web site

idris-minisat

idris-okasaki-pfds

"Purely Functional Data Structures", by Chris Okasaki

idris-vdom

Virtual DOM in pure Idris

idris2

A dependently typed programming language, a successor to Idris

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-erlang

Erlang code generator for Idris 2

idris2-mode

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris2-pack

idris2-server

A dependently typed server framework for Idris

idris2-sh

Idris2s all the way down

idris2-tutorial

klisp

Kilo LISP

lisp-machine

Archive of LISP Machine, Inc.

lisp-random

A smattering of random Lisp code by Robert Smith

local-time

Time manipulation library for Common Lisp

lw-doc

A permuted index for the LispWorks documentation

magicl

Matrix Algebra proGrams In Common Lisp.

mbuild

Build system for Mezzano

mezzano

An operating system written in Common Lisp

mop-docs

Meta Object Protocol (MOP)

native-utils

A simple library class which helps with loading dynamic JNI libraries stored in the JAR archive

order-taking

Idris version of Domain Modeling Made Function Book.

paip-lisp

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

pal

Fast and friendly 2d game library for Common Lisp