H2CO3

Data Scientist (@UniPD-DM), PhD Student (@PPCU-FITB), PL & Compiler aficionado, public speaker, enthusiastic pianist.

Pinned Repositories

abevjava-docker
ÁNYK/ABEVJAVA Docker image, so that you don't have to.
Language:Dockerfile42 5 14
BScThesis
Material for my Bachelor's Thesis
Language:C1 3 00
HCDownload
Drop-in download manager view controller for iOS
Language:Objective-C116 24 1339
libsprec
C library for speech recognition using the Google Speech API
Language:C132 18 1140
MScThesis
My Master's Thesis in Data Science at Università degli Studi di Padova
1 2 00
nanosql
Tiny, strongly-typed data mapper for SQLite and Rust
Language:Rust81
NPSwift
Code accompanying my talk "Non-Pessimizations in the Swift Compiler"
Language:Swift4 3 01
parsel
Generate parsers directly from AST node types
Language:Rust74 4 32
RSSKit
iOS framework to make development of RSS reader apps easier.
Language:Objective-C131 12 230
Sparkling
Lightweight extension language
Language:C231 19 2821

H2CO3's Repositories

H2CO3/HCDownload
Drop-in download manager view controller for iOS
Language:Objective-C116 24 1339
H2CO3/avocado
Strongly-typed MongoDB driver for Rust
Language:Rust81 4 122
H2CO3/parsel
Generate parsers directly from AST node types
Language:Rust74 4 32
H2CO3/abevjava-docker
ÁNYK/ABEVJAVA Docker image, so that you don't have to.
Language:Dockerfile42 5 14
H2CO3/magnet
A JSON/BSON schema generator
Language:Rust17 4 24
H2CO3/nanosql
Tiny, strongly-typed data mapper for SQLite and Rust
Language:Rust81
H2CO3/dyn_ord
Traits for dynamically-typed equality comparison and ordering
Language:Rust7 3 01
H2CO3/option_set
Bitflags on steroids
Language:Rust5 3 14
H2CO3/pfx
Prefix tree (ordered map and set) data structure using 100% safe Rust
Language:Rust4 2 0
H2CO3/zstr
Language:Rust3 3 1
H2CO3/database_dsl_complexity
Material for the original research paper "Query Complexity in Modern Database DSLs"
Language:HTML2 3 0
H2CO3/ring_api
Strongly-typed Rust client for the RING HTTP API
Language:Rust2 3 0
H2CO3/rust-map-merge-benchmark
https://users.rust-lang.org/t/merging-elements-in-btreemap
Language:Rust2 2 0
H2CO3/RustTyC
An interface for writing a RustTypeChecker.
Language:Rust2 1 0
H2CO3/MScThesis
My Master's Thesis in Data Science at Università degli Studi di Padova
1 2 00
H2CO3/rust-cxx-interop
Example code for very basic Rust-C++ interop
Language:Rust1 3 0
H2CO3/YAOLNP
Yet Another One-Line Node Package
Language:JavaScript1 3 01
H2CO3/ardupilot
ArduPlane, ArduCopter, ArduRover source
Language:C++2 0
H2CO3/charbench
Code for https://users.rust-lang.org/t/different-assembly-generated-for-match-and-if/
Language:HTML3 0
H2CO3/deluxe
Rust procedural macro attribute parser
H2CO3/domir
Domi + IR a la hongroise
Language:C3 0
H2CO3/dynamic_object
Dynamic, Type-Erased Key-Value Maps in Rust
Language:Rust
H2CO3/h2co3.github.io
My GitHub user site
Language:HTML3 1
H2CO3/MeShClust
MeShClust: an intelligent tool for clustering DNA sequences
Language:C++2 01
H2CO3/pycombat
Python implementation of Combat for data harmonisation, allowing also to remove unwanted effects
Language:Jupyter Notebook1 0
H2CO3/rsvw
Simple RSV (Rows of String Values) viewer CLI app
Language:Rust1 0
H2CO3/rust-cpp-interop
Language:C++2 0
H2CO3/SALAI-Net
Fork of SALAI-Net for bug fixes, improvements, random ideas, etc.
Language:Python1 0
H2CO3/sam-bam-rs
"I don't have Gitlab" fork of https://docs.rs/bam
Language:Rust3 0
H2CO3/serde
Serialization framework for Rust
Language:Rust3 0