certainty
Trying to make sense of things, including GraphQL, typed functional programming, distributed systems, organisations and people.
New Work SEGermany
Pinned Repositories
1brc
1 billion row challenge in Common Lisp
advent_of_code
braces
A toy scheme compiler and VM in rust. This is my take on crafting interpreters.
cl-braces
An, in progress, compiler and virtual machine for a subset of golang
go-braces
A programming language and compiler implementation for PL nerds
rb-graphql-template
A template for Scala HTTP GraphQL services.
certainty's Repositories
certainty/braces
A toy scheme compiler and VM in rust. This is my take on crafting interpreters.
certainty/go-braces
A programming language and compiler implementation for PL nerds
certainty/1brc
1 billion row challenge in Common Lisp
certainty/cl-braces
An, in progress, compiler and virtual machine for a subset of golang
certainty/advent_of_code
certainty/certainty
David Krentzlin
certainty/alien-game-of-life
Game of life in common lisp
certainty/certainty.github.io
My personal website
certainty/chicken_sendfile
certainty/cl-braces.ice
The integrated compilation environment for cl-braces
certainty/cl-braces.language
certainty/cl-dns
Implementing DNS for fun an profit (in a weekend)
certainty/cl-starwars
Fun with APIs
certainty/cl-stuff
Various lisp stuff in a monorepostory
certainty/cl-tui
certainty/graphqshell
certainty/jakt
The Jakt Programming Language
certainty/key-of-e
A key-value store written in Common Lisp
certainty/krentzlin.me
certainty/lambda-emacs
Emacs distribution with sane defaults, pre-configured packages, and useful functions.
certainty/lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
certainty/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
certainty/madmacs
This is my emacs config. There are many like it, but this one is mine.
certainty/minimacs
certainty/modern_rails
Modern rails
certainty/prolog-adventures
Random prolog things
certainty/r2d2
Simple key-value store in Rust
certainty/riacl
Let's reinvent the wheel and pay homage to one of the early distributed key-value stores
certainty/vacations
certainty/VacayGenius