Petrus Theron (theronic)

theronic

Geek Repo

Company:@olarmtech

Location:Cape Town, South Africa

Home Page:http://petrustheron.com/

Twitter:@PetrusTheron

Github PK Tool:Github PK Tool

Petrus Theron's starred repositories

idea-which-key

IdeaVim extension that displays available keybindings in a popup

Language:KotlinLicense:GPL-3.0Stargazers:162Issues:0Issues:0

dockerc

container image to single executable compiler

Language:ZigLicense:GPL-3.0Stargazers:1539Issues:0Issues:0

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

Language:ZigLicense:Apache-2.0Stargazers:7598Issues:0Issues:0

electric-fiddle

Easiest way to get started with Electric Clojure

Language:ClojureLicense:MITStargazers:55Issues:0Issues:0

queueing-theory

Queueing theory: an introduction for software development

Stargazers:2122Issues:0Issues:0

obsidian-rollover-daily-todos

An obsidian plugin that rolls over todo items from the previous daily note

Language:JavaScriptLicense:MITStargazers:246Issues:0Issues:0

jj

A Git-compatible VCS that is both simple and powerful

Language:RustLicense:Apache-2.0Stargazers:7066Issues:0Issues:0

cues

Queues on cue: low-latency persistent blocking queues, processors, and graphs via Chronicle Queue

Language:ClojureLicense:Apache-2.0Stargazers:105Issues:0Issues:0

countries-regions-cities

MySQL ready-to-use tables with countries, regions/states and cities of the world.

Stargazers:357Issues:0Issues:0

madoc-platform

A platform for the display, enrichment, and curation of IIIF-based digital objects

Language:TypeScriptLicense:MITStargazers:49Issues:0Issues:0

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.

Language:TypeScriptStargazers:1Issues:0Issues:0

clojure-graalvm-aws-lambda-template

Leiningen template for AWS Lambda custom runtime with GraalVM native image compiled Clojure projects.

Language:ClojureLicense:NOASSERTIONStargazers:44Issues:0Issues:0

yoltq

An opinionated Datomic queue for building (more) reliable systems. Supports retries, backoff, ordering and more.

Language:ClojureLicense:EPL-2.0Stargazers:46Issues:0Issues:0

native-clojure-lambda

Example project of Clojure + GraalVM Native Image + AWS Lambda container images

Language:HCLLicense:Apache-2.0Stargazers:29Issues:0Issues:0

datomic-compose

Docker Compose for running a Datomic system

Language:ClojureLicense:UnlicenseStargazers:10Issues:0Issues:0

flow-storm-debugger

A debugger for Clojure and ClojureScript with some unique features.

Language:ClojureLicense:UnlicenseStargazers:643Issues:0Issues:0

electric

a reactive Clojure dialect for web development that uses a compiler to manage the frontend/backend boundary

Language:ClojureLicense:EPL-2.0Stargazers:1663Issues:0Issues:0

electric-projects

projects run by electric

Language:ClojureStargazers:10Issues:0Issues:0

deflet

Make let-expressions REPL-friendly!

Language:ClojureStargazers:65Issues:0Issues:0
Language:ClojureStargazers:16Issues:0Issues:0
Language:ClojureStargazers:48Issues:0Issues:0

tesserae

A Clojure spreadsheet and more!

Language:ClojureLicense:EPL-1.0Stargazers:152Issues:0Issues:0

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.

Language:CLicense:NOASSERTIONStargazers:3193Issues:0Issues:0

clojure-graph-resources

A curated list of Clojure resources for dealing with graph-like data.

License:MITStargazers:260Issues:0Issues:0
Language:ClojureStargazers:2Issues:0Issues:0

noulith

*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it

Language:RustStargazers:1119Issues:0Issues:0

dom-top

Unorthodox control flow, for Clojurists with masochistic sensibilities.

Language:ClojureLicense:EPL-1.0Stargazers:202Issues:0Issues:0

rcf

RCF – a REPL-first, async test macro for Clojure/Script

Language:ClojureLicense:MITStargazers:269Issues:0Issues:0

Advent-of-Code-2022

Solutions to Advent of Code 2022 in APL & BQN (and Python if I'm lazy)

Language:APLLicense:MITStargazers:12Issues:0Issues:0

jet

CLI to transform between JSON, EDN, YAML and Transit using Clojure

Language:ClojureLicense:EPL-1.0Stargazers:666Issues:0Issues:0