Stars
A java library for implementing Time-based One Time Passwords for Multi-Factor Authentication.
64-bit Nerves System for RPi Zero 2 W and RPi 3A
Java library for parsing and rendering CommonMark (Markdown)
Lean theorem proving interface which feels like pen-and-paper proofs.
TypeScript Geometric Algebra Generator
Clerk integration tools for clojure kaocha test runner
Support TeX math equations with your Markdown documents.
A minimalistic ClojureScript interface to React.js
Shared data types for building collaborative software
A tool that can transform CommonJS to ESM
Clojurescript / Reagent bindings for the Leva GUI library.
OSC content format/"protocol" library for JVM languages
A proof of the Cantor-Bernstein(-Schroeder) theorem in LaTTe
Multiplatform plotting library based on the Grammar of Graphics
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
An experimental self-hosted Observable notebook editor, with support for FileAttachments, Secrets, custom standard libraries, and more!
Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol
A formalization of synthetic algebraic geometry in Agda
Currently learning Category Theory. This is to play with / formalize some of it in Agda.