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
healthtrack
Health Track is an app designed to make it as fast and as easy as possible to record information about your health
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/cl-isaac
Optimized Common Lisp version of Bob Jenkins' ISAAC-32 and ISAAC-64 algorithms, fast cryptographic random number generators.
ska80/clog
CLOG - The Common Lisp Omnificent GUI
ska80/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
ska80/fast-websocket
Optimized low-level WebSocket protocol parser written in 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/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/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