Petrus Theron's starred repositories
idea-which-key
IdeaVim extension that displays available keybindings in a popup
tigerbeetle
The distributed financial transactions database designed for mission critical safety and performance.
electric-fiddle
Easiest way to get started with Electric Clojure
queueing-theory
Queueing theory: an introduction for software development
obsidian-rollover-daily-todos
An obsidian plugin that rolls over todo items from the previous daily note
countries-regions-cities
MySQL ready-to-use tables with countries, regions/states and cities of the world.
madoc-platform
A platform for the display, enrichment, and curation of IIIF-based digital objects
vite-ts-react-ssr-express-docker
A boilerplate with only the bare minimum of dependencies to make Vite, Typescript, React, SSR, Express and Docker work together.
clojure-graalvm-aws-lambda-template
Leiningen template for AWS Lambda custom runtime with GraalVM native image compiled Clojure projects.
native-clojure-lambda
Example project of Clojure + GraalVM Native Image + AWS Lambda container images
datomic-compose
Docker Compose for running a Datomic system
flow-storm-debugger
A debugger for Clojure and ClojureScript with some unique features.
electric-projects
projects run by electric
checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
clojure-graph-resources
A curated list of Clojure resources for dealing with graph-like data.
Advent-of-Code-2022
Solutions to Advent of Code 2022 in APL & BQN (and Python if I'm lazy)