lambda0xE's Stars
mirleft/ocaml-tls
TLS in pure OCaml
gchq/sleeper
A cloud-native, serverless, scalable, cheap key-value store
gchq/CyberChef
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
protocolbuffers/protobuf
Protocol Buffers - Google's data interchange format
BLAKE3-team/BLAKE3
the official Rust and C implementations of the BLAKE3 cryptographic hash function
wasm3/wasm3
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
ejgallego/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
gchq/nix-bootstrap
Easily generate reproducible infrastructure
janestreet/core_bench
Micro-benchmarking library for OCaml
thvnx/mlmpfr
OCaml bindings for MPFR
Xtra-Computing/thundersvm
ThunderSVM: A Fast SVM Library on GPUs and CPUs
ocurrent/clarke
hammerlab/ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
microsoft/LMOps
General technology for enabling AI capabilities w/ LLMs and MLLMs
airgap-it/CMTAT-FA2
hundredrabbits/Orca
Esoteric Programming Language
openfheorg/openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.2.1 (released on September 10, 2024).
sbt/sbtn-dist
panglesd/ocaml-diffutils
An ocaml library for manipulating diffs.
facebookresearch/UNIREX
This is the official PyTorch repo for "UNIREX: A Unified Learning Framework for Language Model Rationale Extraction" (ICML 2022).
oconnor663/unsound_helpers
triton-lang/triton
Development repository for the Triton language and compiler
octra-labs/blake3-ocaml
An implementation of the BLAKE3 cryptographic hash function.
FluxML/Flux.jl
Relax! Flux is the ML library that doesn't make you tensor
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
lite-xl/lite-xl
A lightweight text editor written in Lua
timothyklim/bazel-flake