andreabedini

Andrea Bedini's starred repositories

A powerful little TUI framework 🏗

Language:GoMIT23949 115 252

A Mobile-First, Responsive WordPress starter theme based off 320 and Up & HTML5 Boilerplate.

Language:CSS335500

A collection of resources for learning type theory and type theory adjacent fields.

Differential dataflow for mere mortals

Language:Zig506 23 1

🍸Vesper - HTTP Framework for Bash Shell

Language:ShellApache-2.0204 100

Disassemblies of the different Game Boy boot ROMs

Language:Assembly73 60

Template for UEFI runtime drivers written in Rust with serial logging and debugging support.

Language:RustMIT56 30

A hashing-based graph implementation in Haskell

Language:HaskellBSD-2-Clause3400

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

Language:HaskellNOASSERTION4 20