David Mazarro's Projects
2020 CHIP-8 Emulator Summer Project
App that allows you to keep track of how many tries you take with bossfights.
Date and time library for Rust
Tool to calculate overtime with Harvest ⏰
My Emacs configuration file(s).
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
Proof-of-concept Transaction Agent (TA) in Elixir as a REST API using Phoenix
A new markup-based typesetting system that is powerful and easy to learn.
A proof-of-concept formal verification tool for WebAssembly.
Yet Another Untyped Lambda Calculus Implementation (YAULCI) in Haskell