Skip to content
View FedericoBruzzone's full-sized avatar
:bowtie:
Unless P = NP
:bowtie:
Unless P = NP

Block or report FedericoBruzzone

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Higher level programming in C

C 6,727 369 Updated Sep 1, 2023

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

Rust 8,987 186 Updated Sep 29, 2024

πŸŒ’ A TUI for GitHub

OCaml 63 3 Updated Jun 28, 2024

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

OCaml 74 Updated Aug 21, 2024

Empowering everyone to build reliable and efficient software.

Rust 97,213 12,562 Updated Sep 29, 2024

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 47,665 2,791 Updated Sep 29, 2024

A framework for writing plugins that integrate with the Rust compiler

Rust 134 13 Updated Aug 2, 2024

Parser for Rust source code

Rust 2,836 309 Updated Sep 27, 2024

Serialization framework for Rust

Rust 9,048 765 Updated Sep 23, 2024

Probabilistic language based on pattern matching and constraint propagation, 153 examples

C# 7,448 318 Updated May 6, 2024

LR(1) parser generator for Rust

Rust 3,022 290 Updated Sep 27, 2024

Resilient LL(1) parser generator for Rust

Rust 107 1 Updated Aug 15, 2024

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

Rust 8,523 419 Updated Sep 27, 2024

The financial transactions database designed for mission critical safety and performance.

Zig 9,818 490 Updated Sep 29, 2024

Universal markup converter

Haskell 34,136 3,352 Updated Sep 29, 2024

sysprog

C 10 8 Updated Jun 24, 2015

A Compiler Writing Journey

C 10,457 1,013 Updated Jul 30, 2024

Write expressive, high-performance parsers with ease.

Rust 3,557 149 Updated Sep 28, 2024

🐜 single header process launching solution for C and C++

C 1,126 98 Updated Jul 20, 2024

An introduction to language design with building a compiler frontend on top of LLVM.

HTML 85 13 Updated Aug 8, 2024

Gravity Programming Language

C 4,299 227 Updated Jul 8, 2024

πŸ¦„ Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Go 2,601 85 Updated Sep 9, 2024

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,556 106 Updated Aug 7, 2024

A modern replacement for Redis and Memcached

C++ 25,418 919 Updated Sep 29, 2024

Rust crate package to link to a system libz (zlib)

Rust 117 76 Updated Sep 23, 2024

A fast and secure runtime for WebAssembly

Rust 15,203 1,275 Updated Sep 28, 2024

Emscripten: An LLVM-to-WebAssembly Compiler

C++ 25,665 3,288 Updated Sep 27, 2024

Some more derive(Trait) options

Rust 1,685 120 Updated Sep 9, 2024

Rust wrapper around the Telegram Database Library πŸ¦€

Rust 37 7 Updated Aug 12, 2024

A massively parallel, high-level programming language

Rust 17,250 424 Updated Sep 27, 2024
Next