Arthur Carcano's repositories
rc_bump
An arena for heterogeneous types and no lifetimes
rust
Empowering everyone to build reliable and efficient software.
serde_deser_iter
Iterate through serialized sequences allowing to aggregate them without deserializing to an allocated collection.
arbitrary
Generating structured data from arbitrary, unstructured input.
cargo
The Rust package manager
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
encoding
An OCaml SMT abstraction layer for constraint solvers.
env_logger
A logging implementation for `log` which is configured via an environment variable.
gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
json
Strongly typed JSON library for Rust
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
nom
Rust parser combinator framework
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-depext
Attempt to automate the installation of system packages required by OPAM packages
owi
OCaml WebAssembly Interpreter
perf-bench-orchestrator
A perf based bench tool
regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
rfcs
RFCs for changes to Rust
rust-base64
base64, in rust
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
rust-companies
A list of companies using Rust in production.
rust-embed
Rust Macro which loads files into the rust binary at compile time during release and loads the file from the fs during dev.
rustc-hash
Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
scaphandre
⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !
Test-Comp
Test-Comp benchmarking scripts for wasp-c
time
The most used Rust library for date and time handling.
waspc
OWI's C frontend