-
kip Public
Forked from kip-dili/kipA programming language based on grammatical cases of Turkish.
Haskell MIT License UpdatedJan 17, 2026 -
-
-
-
-
agentfs Public
Forked from tursodatabase/agentfsThe filesystem for agents.
Rust UpdatedDec 20, 2025 -
etna-cli Public
ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of commands to manage your experiments, and results.
-
limbo Public
Forked from tursodatabase/tursoLimbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.
Rust MIT License UpdatedDec 14, 2025 -
testing-kvstore Public
An introductory repo into property-based testing using a key value store example
TypeScript MIT License UpdatedDec 1, 2025 -
-
-
-
ruggle-index Public
A public index for Ruggle, the structural search tool for Rust
-
roogle Public
Forked from roogle-rs/roogleA Rust API search engine
-
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedOct 22, 2025 -
-
robotdegilim.xyz Public
Forked from erenerisken/robotdegilim.xyzJavaScript Other UpdatedSep 26, 2025 -
-
crabcheck Public
A WIP property-based testing library in Rust, built with generalized targeted-property testing in mind.
-
quickcheck Public
Forked from BurntSushi/quickcheckAutomated property based testing for Rust (with shrinking).
Rust The Unlicense UpdatedSep 22, 2025 -
-
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedAug 20, 2025 -
-
-
bolero Public
Forked from camshaft/boleroproperty testing and verification front-end for Rust
C MIT License UpdatedAug 12, 2025 -
LibAFL Public
Forked from AFLplusplus/LibAFLAdvanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Rust Other UpdatedAug 11, 2025 -
-
rackcheck Public
Forked from Bogdanp/rackcheckA property-based testing library for Racket.
Racket UpdatedJul 24, 2025
{{ message }}