David Mazarro's repositories
wasm-verify
A proof-of-concept formal verification tool for WebAssembly.
bag-of-chips
2020 CHIP-8 Emulator Summer Project
Language:C000
boss-tries
App that allows you to keep track of how many tries you take with bossfights.
chrono
Date and time library for Rust
Language:RustNOASSERTION000
harvest-overtime
Tool to calculate overtime with Harvest ⏰
Language:TypeScriptMIT000
Language:TypeScriptMIT000
my-emacs-config
My Emacs configuration file(s).
Language:Emacs Lisp000
servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
Language:Haskell000
transaction-agent
Proof-of-concept Transaction Agent (TA) in Elixir as a REST API using Phoenix
yaulci-haskell
Yet Another Untyped Lambda Calculus Implementation (YAULCI) in Haskell
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:RustApache-2.0000