nikomatsakis / rustnl-2024View external linksLinks
Type theory for busy engineers
☆19May 4, 2024Updated last year
Alternatives and similar repositories for rustnl-2024
Users that are interested in rustnl-2024 are comparing it to the libraries listed below
Sorting:
- Rust crates with map and set with interval keys (ranges x..y).☆15Jan 1, 2025Updated last year
- ☆17Mar 18, 2023Updated 2 years ago
- Compile-time swift-style keypaths for Rust☆22Mar 10, 2025Updated 11 months ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 3 months ago
- ☆28Jun 18, 2024Updated last year
- ☆35Aug 4, 2023Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆32Oct 4, 2023Updated 2 years ago
- Library and gadget to do regex string matches in halo2☆35Jul 25, 2024Updated last year
- Lachesis BFT consensus for permission-less networks, in Rust☆34Jul 5, 2019Updated 6 years ago
- fine-tuning tutorial☆17Dec 13, 2025Updated 2 months ago
- User-friendly viewer for Parquet files☆10Jan 10, 2026Updated last month
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆14Dec 12, 2022Updated 3 years ago
- ☆10Jan 9, 2024Updated 2 years ago
- Redis distributed lock implementation for Python based on Pub/Sub messaging☆11Nov 15, 2025Updated 2 months ago
- LightGBM for handling label-imbalanced data with focal and weighted loss functions in binary and multiclass classification☆21Jan 29, 2026Updated 2 weeks ago
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- ☆40Jul 26, 2024Updated last year
- This project auto-instruments containerized workloads in Kubernetes with New Relic agents.☆12Updated this week
- Clober Solidity Library☆10Jun 9, 2025Updated 8 months ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆12Nov 1, 2022Updated 3 years ago
- 비즈엠 개발 서버에서 전화번호 인증을 쉽게 할 수 있는 웹사이트입니다.☆10Feb 27, 2023Updated 2 years ago
- BERT score for text generation☆12Jan 15, 2025Updated last year
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated last year
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Simple lightbox component for vue☆11Apr 3, 2019Updated 6 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last week
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 9 months ago
- Builds and tags the minio docker image every night☆16Oct 22, 2025Updated 3 months ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- Amazon Bedrock 의 Nova, Claude 3.7 모델을 활용하여 pdf 도면을 파싱 합니다.☆12May 19, 2025Updated 8 months ago
- Today I learned / 오늘의 학습 기록소 (근본있는 개발자가 되자)☆12Jun 6, 2020Updated 5 years ago
- Claude Code for Kimi K2☆14Sep 15, 2025Updated 4 months ago
- ☆13Jun 1, 2016Updated 9 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆16Feb 6, 2026Updated last week
- 🚀 LLM inference optimization simulator, modeling compute-bound prefill and memory-bound decode phases.☆13Jul 12, 2025Updated 7 months ago
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 7 years ago
- Token-aware HTML chunking that preserves structure and attributes, with optional cleaning and attribute length control.☆15Aug 12, 2025Updated 6 months ago