eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
Pinned Repositories
austral
Systems language with linear types and capability-based security.
cl-yaml
YAML parser for Common Lisp
cmacro
Lisp macros for C
corona
Create and manage virtual machines from Common Lisp
corvus
Low-level Lisp for LLVM
crane
An ORM for Common Lisp.
interim
Low-level Lisp with compile-time memory management
lucerne
A web framework for Common Lisp, built on Clack
magma
Extending C with cmacro
rock
Asset manager and compiler for Common Lisp web apps
eudoxia0's Repositories
eudoxia0/cmacro
Lisp macros for C
eudoxia0/magma
Extending C with cmacro
eudoxia0/crane
An ORM for Common Lisp.
eudoxia0/cl-yaml
YAML parser for Common Lisp
eudoxia0/corona
Create and manage virtual machines from Common Lisp
eudoxia0/docparser
Extract documentation from Common Lisp systems
eudoxia0/trivial-ssh
An SSH client library for Common Lisp (Built on libssh2)
eudoxia0/trivial-download
Download files from Common Lisp through Drakma.
eudoxia0/cl-pass
Password hashing and verification library
eudoxia0/spaced-repetition-tools
Scripts for generating flashcards.
eudoxia0/swank-protocol
A low-level client for Swank
eudoxia0/lime
A client for Swank
eudoxia0/dotfiles
Not guaranteed to work outside of My Machine™
eudoxia0/find-port
Programmatically find open ports.
eudoxia0/eudoxia0.github.io
Personal website
eudoxia0/parsing-menhir
Code for a tutorial on parsing with Menhir
eudoxia0/lcm
Manage your system configuration in Common Lisp.
eudoxia0/astro-eog581
Astronomical calculations for The Epiphany of Gliese 581.
eudoxia0/airloom
A reverse literate programming tool.
eudoxia0/cl-libyaml
libyaml bindings for Common Lisp
eudoxia0/cartesian
My personal exocortex
eudoxia0/clippings-parser
Export Kindle clippings to JSON, CSV, or Markdown.
eudoxia0/ocaml-nix-starter
OCaml starter project template using Nix for reproducibility.
eudoxia0/diy-clozemaster
eudoxia0/sml-sqlite3
SQLite3 bindings for MLton
eudoxia0/gemoji
Emoji images and names.
eudoxia0/glibc
Unofficial mirror of sourceware glibc repository. Updated daily.
eudoxia0/poem
A full-featured and easy-to-use web framework with the Rust programming language.
eudoxia0/sql-codegen
EF inspired codegen for Rust
eudoxia0/tfc
A tiny compiler for a monomorphic typed Forth