- Bologna, Italy
-
04:40
(UTC +01:00) - dcariotti.me
- @sa@hachyderm.io
Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Starred repositories
Pulumi - Infrastructure as Code in any programming language 🚀
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Stream your Postgres data anywhere in real-time. Simple Rust building blocks for change data capture (CDC) pipelines.
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
Simple async Rust profiler with memory and data-flow insights - quickly find and debug performance bottlenecks.
Ongoing Storj v3 development. Decentralized cloud object storage that is affordable, easy to use, private, and secure.
Fast, pipelined, resilient Redis driver for Elixir. 🛍
Elixir is a dynamic, functional language for building scalable and maintainable applications
eBPF-based Security Observability and Runtime Enforcement
eBPF-based Networking, Security, and Observability
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed
A model-checking tool for systems of communicating automata.
Talos Linux is a modern Linux distribution built for Kubernetes.
Proof of work algorithm based on random code execution
CortexBrain is an ambitious open-source project designed to build an intelligent, lightweight, and highly efficient monitoring platform for distributed cloud and hybrid (cloud–edge) workflows
Embeddable, replicated and fault-tolerant SQL engine.