Pinned Repositories
agnos
Obtain (wildcard) certificates from let's encrypt using dns-01 without the need for API access to your DNS provider.
closure-future
Easily run closures on thread pools and turn their result into Futures
fwd_ad
Fwd:AD is a Rust library (crate) to perform forward auto-differentiation, with a focus on empowering its user to manage memory location and minimize copying. This repo is a mirror of https://gitlab.inria.fr/InBio/Public/fwd_ad.
Petit-GHC
A school project: a compiler for a subset of Haskell.
rc_bump
An arena for heterogeneous types and no lifetimes
rendezvous
Adaptive-barrier but built from atomics and futexes instead of mutexes and condvar.
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.
ssccpp
The Simple Switch Cases Configuration PreProcessor
owi
WebAssembly Swissknife & cross-language bugfinder
krtab's Repositories
krtab/agnos
Obtain (wildcard) certificates from let's encrypt using dns-01 without the need for API access to your DNS provider.
krtab/rc_bump
An arena for heterogeneous types and no lifetimes
krtab/.github
krtab/1BRC
krtab/rust
Empowering everyone to build reliable and efficient software.
krtab/acme2
A Tokio and OpenSSL based ACMEv2 client for Rust.
krtab/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
krtab/arbitrary
Generating structured data from arbitrary, unstructured input.
krtab/dobble_z3
krtab/encoding
An OCaml SMT abstraction layer for constraint solvers.
krtab/gotree
Gotree is a set of command line tools and an API to manipulate phylogenetic trees. It is implemented in Go language.
krtab/kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
krtab/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
krtab/ocaml
The core OCaml system: compilers, runtime system, base libraries
krtab/opam-depext
Attempt to automate the installation of system packages required by OPAM packages
krtab/owi
OCaml WebAssembly Interpreter
krtab/perf-bench-orchestrator
A perf based bench tool
krtab/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
krtab/rust-companies
A list of companies using Rust in production.
krtab/rustc-hash
Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
krtab/rusteam
A Rust implementation of the IAPWS-IF97 steam tables
krtab/scaphandre
⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !
krtab/self_cell
Safe-to-use proc-macro-free self-referential structs in stable Rust.
krtab/should_i_open_my_window
No really, should I?
krtab/superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
krtab/Test-Comp
Test-Comp benchmarking scripts for wasp-c
krtab/tower
async fn(Request) -> Result<Response, Error>
krtab/tower_type_steer
krtab/utf8caseinplace
krtab/waspc
OWI's C frontend