Pinned Repositories
bpss
Code for "Building Problem Solvers" book
cl-http
The Common Lisp Hypermedia Server (CL-HTTP)
cl-muproc
Fork of CL-MUPROC
clrecipes
Code for "Common Lisp Recipes" book
cltl2-docs
Common Lisp the Language, 2nd Edition
idris-okasaki-pfds
"Purely Functional Data Structures", by Chris Okasaki
idris2-server
A dependently typed server framework for Idris
qemacs
QEmacs (for Quick Emacs) is a very small but powerful UNIX editor
thinlisp
ThinLisp is an open source Lisp to C translator.
tinygl
TinyGL : a Small, Free and Fast Subset of OpenGL*
ska80's Repositories
ska80/tinygl
TinyGL : a Small, Free and Fast Subset of OpenGL*
ska80/healthtrack
Health Track is an app designed to make it as fast and as easy as possible to record information about your health
ska80/awesome-lisp-companies
Awesome Lisp Companies
ska80/BQN
An APL-like programming language. Self-hosted!
ska80/bqn-mode
Emacs mode for BQN programming language
ska80/CBQN
ska80/chez-exe
Chez Scheme self hosting executable
ska80/ChezScheme_original
Chez Scheme
ska80/clog
CLOG - The Common Lisp Omnificent GUI
ska80/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
ska80/hon
Home Assistant integration for Haier hOn: support for Haier/Candy/Hoover home appliances like washing machines and air conditioners in 19 languages.
ska80/idris2-jvm
JVM bytecode back end for Idris
ska80/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
ska80/idris2-pack
ska80/Idris2-SH
Idris2s all the way down
ska80/idris2-tutorial
ska80/LLM101n
LLM101n: Let's build a Storyteller
ska80/MBuild
Build system for Mezzano
ska80/Mezzano
An operating system written in Common Lisp
ska80/nyxt
Nyxt - the hacker's browser.
ska80/pyhOn
Control hOn devices with python
ska80/SDL.zig
SDL with the build system replaced by Zig
ska80/ska80.github.io
Personal homepage
ska80/sly
Sylvester the Cat's Common Lisp IDE
ska80/sqlcipher
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
ska80/SQLNoir
Solve mysteries through SQL.
ska80/xv6-riscv-book
Text describing xv6 on RISC-V
ska80/Yaffle
A core language and API for dependently typed languages
ska80/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
ska80/zig-cli
A simple package for building command line apps in Zig