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/r2d2
Simple key-value store in Rust
certainty/graphqshell
certainty/jakt
The Jakt Programming Language
certainty/grace
A ready-to-fork interpreted functional language with type inference
certainty/gqshell_go
GraphQL client with TUI
certainty/nvim
nvim configuratio
certainty/sceme
Sceme is Scheme in Scala
certainty/lab-starter
certainty/dotfiles
My dotfiles
certainty/mira.cl
A modular bot framework written in Common Lisp
certainty/Brainfuck
A brainfuck compiler and virtual machine in Haskell
certainty/VectorClock
Implementation of vector clocks in Haskell
certainty/bjro.github.io
My personal blog
certainty/graphql-api
Write type-safe GraphQL services in Haskell
certainty/graphql
GraphQL is a query language and execution engine tied to any backend service.
certainty/scalasummerschool.github.io
Homepage of Scala Summer School
certainty/Hands-On-Concurrency-with-Rust
Hands-On Concurrency with Rust, published by Packt
certainty/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
certainty/merkle-tree
Haskell Merkle Trees
certainty/rb-graphql-template
A template for Scala HTTP GraphQL services.
certainty/Scala-High-Performance-Programming
Scala High Programming by Packt Publishing
certainty/scala-sbt.g8
giter8 template for Scala projects using sbt
certainty/validation
Temp repo for a soon-to-be awesome validation library for Elixir :)
certainty/lisp-misc
certainty/swimring
SwimRing - A Minimal Distributed Fault-Tolerant Key-Value Store built with SWIM Gossip Protocol and Consistent Hash Ring
certainty/ragg
A parser generator generator
certainty/beetle
High Availability AMQP Messaging With Redundant Queues
certainty/chicken_log5sm
certainty/chicken_veritas
certainty/chicken_test-generative