Kamil Shakirov's repositories
clog
CLOG - The Common Lisp Omnificent GUI
Idris2-SH
Idris2s all the way down
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Mezzano
An operating system written in Common Lisp
MBuild
Build system for Mezzano
idris2-jvm
JVM bytecode back end for Idris
SDL.zig
SDL with the build system replaced by Zig
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
hon
Home Assistant integration for Haier hOn: support for Haier/Candy/Hoover home appliances like washing machines and air conditioners in 19 languages.
pyhOn
Control hOn devices with python
zig-cli
A simple package for building command line apps in Zig
Yaffle
A core language and API for dependently typed languages
BQN
An APL-like programming language. Self-hosted!
nyxt
Nyxt - the hacker's browser.
chez-exe
Chez Scheme self hosting executable
sly
Sylvester the Cat's Common Lisp IDE
bqn-mode
Emacs mode for BQN programming language
ChezScheme_original
Chez Scheme
xv6-riscv-book
Text describing xv6 on RISC-V
sqlcipher
SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
healthtrack
Health Track is an app designed to make it as fast and as easy as possible to record information about your health
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
ska80.github.io
Personal homepage
awesome-lisp-companies
Awesome Lisp Companies
fast-websocket
Optimized low-level WebSocket protocol parser written in Common Lisp
cl-isaac
Optimized Common Lisp version of Bob Jenkins' ISAAC-32 and ISAAC-64 algorithms, fast cryptographic random number generators.