gdiasag/gdiasag.github.com
blog
Deeply interested in highly performant systems and languages
Repositories
gdiasag/Mocket
TLA+ model checking guided testing for distributed systems
gdiasag/mini-lsm
learn database internals by building a storage engine in Rust
gdiasag/cfst-rs
Compact Finite State Transducer toolkit
gdiasag/haskell-challenges
Code challenges to solve with Haskell
gdiasag/jekyll-database-tables
Database-styled markdown tables for Jekyll
gdiasag/tree-sitter-cool
COOL grammar for tree-sitter
gdiasag/parzu
The Zurich Dependency Parser for German
gdiasag/nvim-config
My neovim environment configuration
gdiasag/SimPLer
Interpreter for a functional, expression-based programming language
gdiasag/tapak
Tapak is a composable framework for building web applications in OCaml
gdiasag/jekyll-djot
Djot generator for Jekyll
gdiasag/cool
Compiler for the Cool Programming language (CS143)
gdiasag/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
gdiasag/vsr-rsv
Viewstamped replication, Rust version
gdiasag/djotter
Shallow Ruby wrapper for the jotdown (Djot parser) Rust crate
gdiasag/rasterizeddb
A new schemafull, Postgres compatible, high-performance database written from scratch in Rust. https://crates.io/crates/rasterizeddb_core
gdiasag/rust-aegis
AEGIS high performance ciphers for Rust.
gdiasag/aoc
Revisiting some Advent of Code problems
gdiasag/ocaml.org
The official OCaml website.
gdiasag/ocaml-ci
A CI for OCaml projects
gdiasag/limbo
Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.
gdiasag/notebox
RESTful web application for storing academic and technical notes
gdiasag/strsplit
An exercise on lifetimes in Rust
gdiasag/monkey
Yet another interpreter implementation, this time using Golang
gdiasag/nix-config
Peronal NixOS and home-manager configurations
gdiasag/nanvix
Educational Spinoff of Nanvix
gdiasag/zero2prod
Following along "Zero to Production in Rust"
gdiasag/dsa
Generic data structures implemented in C
gdiasag/clox
Virtual machine interpreter for the Lox programming language written in C