Arthur Carcano (krtab)

krtab

Geek Repo

Company:@OCamlPro @RedIron-by-OCamlPro

Location:Paris, France

Home Page:ngr.yt

Github PK Tool:Github PK Tool

Arthur Carcano's repositories

agnos

Obtain (wildcard) certificates from let's encrypt using dns-01 without the need for API access to your DNS provider.

Language:RustLicense:MITStargazers:290Issues:7Issues:32

rc_bump

An arena for heterogeneous types and no lifetimes

Language:RustStargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:1Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

serde_deser_iter

Iterate through serialized sequences allowing to aggregate them without deserializing to an allocated collection.

Language:RustStargazers:0Issues:1Issues:0

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

arbitrary

Generating structured data from arbitrary, unstructured input.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

encoding

An OCaml SMT abstraction layer for constraint solvers.

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

gnucobol

A clone of the sourceforge GnuCOBOL compiler from COBOL to C.

License:LGPL-3.0Stargazers:0Issues:0Issues:0

gotree

Gotree is a set of command line tools and an API to manipulate phylogenetic trees. It is implemented in Go language.

Language:GoLicense:GPL-2.0Stargazers:0Issues:0Issues:0

kakarot-rpc

Kakarot ZK EVM Ethereum RPC adapter

Language:RustLicense:MITStargazers:0Issues:0Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:0Issues:0Issues:0

nom

Rust parser combinator framework

Language:RustLicense:MITStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

opam-depext

Attempt to automate the installation of system packages required by OPAM packages

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

owi

OCaml WebAssembly Interpreter

Language:WebAssemblyLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

perf-bench-orchestrator

A perf based bench tool

Language:RustStargazers:0Issues:0Issues:0

regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rfcs

RFCs for changes to Rust

Language:MarkdownLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust-companies

A list of companies using Rust in production.

Stargazers:0Issues:0Issues:0

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.

License:MITStargazers:0Issues:0Issues:0

rustc-hash

Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

scaphandre

⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

License:Apache-2.0Stargazers:0Issues:0Issues:0

Test-Comp

Test-Comp benchmarking scripts for wasp-c

Stargazers:0Issues:0Issues:0

time

The most used Rust library for date and time handling.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

waspc

OWI's C frontend

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0