-
University of Milan, MI
- Milan, MI
-
18:28
(UTC +02:00) - https://federicobruzzone.github.io
- in/federico-bruzzone
- @fedebruzzone7
- https://t.me/federicobruzzone
Highlights
Stars
A highly customizable Changelog Generator that follows Conventional Commit specifications β°οΈ
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
Empowering everyone to build reliable and efficient software.
Code at the speed of thought β Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A framework for writing plugins that integrate with the Rust compiler
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
The financial transactions database designed for mission critical safety and performance.
Write expressive, high-performance parsers with ease.
π single header process launching solution for C and C++
An introduction to language design with building a compiler frontend on top of LLVM.
π¦ Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
A static verifier for Rust, based on the Viper verification infrastructure.
A modern replacement for Redis and Memcached
Rust crate package to link to a system libz (zlib)
A fast and secure runtime for WebAssembly
Emscripten: An LLVM-to-WebAssembly Compiler
Rust wrapper around the Telegram Database Library π¦
A massively parallel, high-level programming language