def-

@MaterializeIncHeidelberg, Germany

Pinned Repositories

ddnet
DDraceNetwork, a free cooperative platformer game
Language:C++521 29 3k381
ghc-vis
Visualize live Haskell data structures in GHCi
Language:Haskell132 14 1921
gifstream
Make interactive games in Haskell using GIF streams that can be shown in the web browser
Language:Haskell201 6 17
nim-brainfuck
A brainfuck interpreter and compiler written in Nim
Language:Nim40 4 05
nim-platformer
Writing a 2D Platform Game in Nim with SDL2
Language:Nim63 5 111
nim-syscall
Raw system calls for Nim
Language:Nimrod37 4 53
nim-unsorted
Unsorted Nim code that I wrote for some reason (largely Rosetta Code)
Language:Nim104 5 011
nimes
NimES: NES Emulator in Nim
Language:Nim278 14 223
rrb
rrb is a simple set of scripts to take backups by hand and automatically by a backup server using rsync and manage them.
Language:Shell41 6 01
time.gif
GIF that always shows the current time in UTC
Language:Haskell487 8 928

def-'s Repositories

def-/time.gif
GIF that always shows the current time in UTC
Language:Haskell487 8 928
def-/gifstream
Make interactive games in Haskell using GIF streams that can be shown in the web browser
Language:Haskell201 6 17
def-/ghc-vis
Visualize live Haskell data structures in GHCi
Language:Haskell132 14 1921
def-/ghc-datasize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
Language:Haskell17 5 1010
def-/xdot
xdot library for Haskell
Language:Haskell5 4 38
def-/ddnet
USE https://github.com/ddnet/ddnet/ INSTEAD, THIS IS ONLY FOR MY PERSONAL PULL REQUESTS
Language:C++1 2 0
def-/sqlsmith
A random SQL query generator
Language:C++1 1 02
def-/materialize
Materialize is a fast, distributed SQL database built on streaming internals.
Language:Rust0 1 00
def-/adventofcode-2023
2 0
def-/cargo-llvm-cov
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
Language:Rust1 0
def-/ddnet-data-svg
Language:Shell1 0
def-/demos
Demos of Materialize, the streaming database you already know how to use!
Language:TypeScript1 0
def-/felsin9-web
Personal website
Language:HTML2 0
def-/homebrew-cockroach-tap
`brew install cockroachdb/tap/cockroach`
def-/howistart.org
HowIStart.org Hugo Site
Language:Brainfuck1 0
def-/jepsen
A framework for distributed systems verification, with fault injection
Language:Clojure1 0
def-/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Language:JavaScript3 0
def-/llama.cpp
Port of Facebook's LLaMA model in C/C++
Language:C
def-/nextest
A next-generation test runner for Rust.
Language:Rust1 0
def-/Nim
Nim is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nimrod's design focuses on efficiency, expressiveness, elegance (in the order of priority).
Language:Nim3 0
def-/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
def-/prost
PROST! a Protocol Buffers implementation for the Rust Language
Language:Rust1 0
def-/python-semver
Python package to work with Semantic Versioning (https://semver.org/)
Language:Python1 0
def-/rust-dec
libdecnumber bindings for the Rust programming language
Language:C
def-/rust-protobuf-native
Rust build system integration for protobuf, Google's data interchange format.
Language:C++
def-/sqlancer
Automated testing to find logic bugs in database systems
Language:Java
def-/sqllogictest
unofficial git mirror of sqllogictest
Language:C1 0
def-/sqlreduce
Reduce verbose SQL queries to minimal examples
Language:Python
def-/timely-dataflow
A modular implementation of timely dataflow in Rust
Language:Rust1 0
def-/yugabyte-db
The high-performance distributed SQL database for global, internet-scale apps.
Language:C1 0