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:
- Experimenting with a faster bundling algorithm☆37Jan 13, 2023Updated 3 years ago
- 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☆23Mar 10, 2025Updated 11 months ago
- customizable halo2 circuits batcher☆32Oct 25, 2025Updated 4 months ago
- ☆28Jun 18, 2024Updated last year
- ☆35Aug 4, 2023Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 2 years ago
- Through all this years of making WDCs, I found "enabling" others to accomplish their goals is one of the best things I can give to my pee…☆11Jul 21, 2020Updated 5 years ago
- fine-tuning tutorial☆18Feb 20, 2026Updated 2 weeks ago
- User-friendly viewer for Parquet files☆10Updated this week
- DOS Program Development☆13Nov 9, 2022Updated 3 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Another reverse proxy that provides authentication with OpenID Connect☆10Jul 10, 2023Updated 2 years ago
- LightGBM for handling label-imbalanced data with focal and weighted loss functions in binary and multiclass classification☆21Jan 29, 2026Updated last month
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- ☆11Dec 6, 2023Updated 2 years ago
- ☆40Jul 26, 2024Updated last year
- Develop " Position Based Dynamics " based projects from scratch, include rigid body, deformables(cloth & soft body) and fluid(PBF).☆15Nov 16, 2022Updated 3 years ago
- msx game development library ubox example☆11Apr 26, 2023Updated 2 years ago
- Python program used to graph data from a Rigol DS1052E oscilloscope on a linux computer.☆12Jul 4, 2017Updated 8 years ago
- Papercraft cube used as training aid for Outside-In Test Driven Development☆13Nov 30, 2021Updated 4 years ago
- Builds and tags the minio docker image every night☆16Oct 22, 2025Updated 4 months ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- ☆15Aug 5, 2022Updated 3 years ago
- [연봉 4000만원 이상] 지도 기반 소셜 네트워크 서비스☆10Jan 3, 2024Updated 2 years ago
- Asynchronous C++ interoperability for Rust☆10Sep 21, 2021Updated 4 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Stackable's central documentation repository built on Antora☆13Feb 27, 2026Updated last week
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- BERT score for text generation☆12Jan 15, 2025Updated last year
- Today I learned / 오늘의 학습 기록소 (근본있는 개발자가 되자)☆12Jun 6, 2020Updated 5 years ago
- Bare metal core dump☆11Feb 23, 2019Updated 7 years ago
- WormNET server written in D☆15Jan 17, 2024Updated 2 years ago
- 🎹 Instruct.KR 2025 Summer Meetup: 오픈소스 LLM, vLLM으로 Production까지 🎹☆23Aug 2, 2025Updated 7 months ago