Skip to content
View luizberti's full-sized avatar

Block or report luizberti

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
luizberti/README.md

I'm a systems engineer with a research bent — built distributed infrastructure at scale for most of my career, founded a company around neurosymbolic program synthesis, and now looking for roles at the intersection of systems, devtools, and programming languages.

Curious strangers are encouraged to reach out!

Website | HackerNews | LinkedIn

Note

Most of my work is not public or on GitHub

Pinned Loading

  1. GrammarStudio GrammarStudio Public

    Sketch-based grammar synthesizer, basically lightning in a bottle ⚡

    Scheme

  2. zync zync Public

    Synchronization primitives with Zig

    Zig

  3. graphdb graphdb Public

    Datomic-like graph database querying using Differential Dataflow

    Rust

  4. modalex modalex Public archive

    Modal lexer for context-sensitive grammars

    Rust

  5. templ templ Public

    ⛪ The Simplest Templating Engine

    Shell 7

  6. boom boom Public

    A personal browser context and bookmark manager

    Rust