This is your work, valued

Sydney, Australia

Fernando Borretti

Elite
@eudoxia0

Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

hashcards. A plain text-based spaced repetition system.

1.1k

cmacro. Lisp macros for C

896

corvus. Low-level Lisp for LLVM

501

magma. Extending C with cmacro

342

interim. Low-level Lisp with compile-time memory management

281

crane. An ORM for Common Lisp.

204

lucerne. A web framework for Common Lisp, built on Clack

141

cl-yaml. YAML parser for Common Lisp

62

corona. Create and manage virtual machines from Common Lisp

53

dotfiles. Not guaranteed to work outside of My Machine™

49

rock. Asset manager and compiler for Common Lisp web apps

48

trivial-ssh. An SSH client library for Common Lisp (Built on libssh2)

47

spaced-repetition-tools. Scripts for generating flashcards.

44

hermetic. Security for Clack-based Common Lisp web applications.

44

docparser. Extract documentation from Common Lisp systems

42

flashcards. My flashcard collection.

42

trivial-download. Download files from Common Lisp through Drakma.

39

eco. Fast, flexible, designer-friendly templates for Common Lisp

39

asdf-linguist. ASDF extensions.

36

swank-protocol. A low-level client for Swank

33

eudoxia0.github.io. Personal website

33

cl-pass. Password hashing and verification library

31

clack-errors. Error page middleware for Clack.

27

lime. A client for Swank

27

sm2. The SM-2 algorithm.

23

find-port. Programmatically find open ports.

22

fsrs. The FSRS algorithm in 100 lines of Rust.

20

claude-export. Quatro notebook to analyze a Claude data export.

18

trivial-open-browser. Open a browser window. From Common Lisp.

18

airloom. A reverse literate programming tool.

16

terminal-keypress. Read keyboard events in the terminal from Common Lisp

15

parsing-menhir. Code for a tutorial on parsing with Menhir

14

lcm. Manage your system configuration in Common Lisp.

13

parsimony. Parser combinators for Standard ML

12

terminal-size. Get the size of the terminal from Common Lisp

12

postmaster. Email for humans

12

astro-eog581. Astronomical calculations for The Epiphany of Gliese 581.

12

clos-fixtures. CLOS fixtures.

10

avatar-api. Get avatars from Gravatar and other services.

9

arachne. A web crawling framework in Common Lisp.

9

cl-virtualbox. Control VirtualBox from Common Lisp

8

macos-tinted-folders. Generate colour variations of the macOS folder icon.

7

swiftui-without-xcode. A native SwiftUI app build without Xcode.

6

cl-libyaml. libyaml bindings for Common Lisp

6

learning-swiftui. A place for experiments.

5

ctbnrle. Continuous Time Bayesian Network Reasoning and Learning Engine (CTBN-RLE)

4

cartesian. My personal exocortex

4

which. The which command in Common Lisp

4

trivial-extract. Extract compressed files painlessly.

4

l0. Linear Lisp

3

diy-clozemaster. Python

3

ocaml-nix-starter. OCaml starter project template using Nix for reproducibility.

2

lass-flexbox. Flexbox for Lass

2

fsrs-quarto. A Quarto notebook to explore FSRS.

2

mlunit. A test framework for Standard ML

2

tfc. A tiny compiler for a monomorphic typed Forth

1

sml-sqlite3. SQLite3 bindings for MLton

1