☆38Aug 28, 2026Updated this week
Alternatives and similar repositories for CLRS-Lean
Users that are interested in CLRS-Lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An online dictionary using youdao dict api. Inspired by wudao-dict.☆17Feb 26, 2026Updated 6 months ago
- ☆40Jun 2, 2026Updated 2 months ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- Rust safe binding for libpq☆21Aug 16, 2026Updated last week
- A lambda calculus interpreter written in Python☆20Feb 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Updated this week
- 《汇编语言一发入魂》配套代码☆15May 30, 2020Updated 6 years ago
- ☆84Jun 28, 2026Updated 2 months ago
- charles抓包获取har文件，提取二进制生成豆包播客音频☆20May 26, 2025Updated last year
- racket指南翻译☆24Nov 13, 2021Updated 4 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Mar 15, 2026Updated 5 months ago
- [译] fast.ai 数值线性代数讲义 v2☆18Oct 11, 2018Updated 7 years ago
- A native macOS EPUB reader and Markdown editor with warm themes and highlighting, built for focused reading.☆19Jun 22, 2026Updated 2 months ago
- Programming challenges for MO candidates☆30Apr 11, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 武汉大学复变函数与积分变换期末考试复习资料，祝各位逢考必过！☆14Dec 18, 2021Updated 4 years ago
- ☆49Apr 27, 2024Updated 2 years ago
- A distributed filesystem☆10Jan 31, 2017Updated 9 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- 📐 具体数学读书笔记☆19Mar 29, 2022Updated 4 years ago
- Code for the article series on building a Python compiler and interpreter☆13Feb 13, 2025Updated last year
- Tutorial for assignment of Introduction to Database System☆12Sep 29, 2025Updated 11 months ago
- Automated CUDA kernel performance diagnostics from NVIDIA Nsight Compute (NCU) CSV exports.☆35Mar 18, 2026Updated 5 months ago
- A library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit floating point (FP8) precision on Hopper and Ada GPUs…☆10Feb 5, 2026Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- test gm sdkey/tfkey/usbkey through GM/T 0006-2012 and GM/T 0016-2012☆13Sep 28, 2016Updated 9 years ago
- Rust Embedded HAL for Apache NuttX RTOS☆14May 9, 2022Updated 4 years ago
- Summarize Hacker News Posts Using ChatGPT☆20Jul 4, 2023Updated 3 years ago
- Codes and Docs of Hang Li's book "Machine Learning Methods (Third Edition)"☆46Updated this week
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years ago
- Snarf is an NFS server implementation written in C# with .NET 4.5.☆14Nov 18, 2012Updated 13 years ago
- Handwritten LaTeX symbol classifier for the desktop☆70May 17, 2026Updated 3 months ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- Template project for building PostgreSQL extensions☆37Dec 5, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Rust version of db tutorial implementation☆60May 4, 2022Updated 4 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 8 months ago
- Mini CCL - A lightweight collective communication library☆36Jan 2, 2026Updated 7 months ago
- Tiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)☆75Jul 22, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/hf-2011☆14May 4, 2016Updated 10 years ago
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆15Oct 9, 2019Updated 6 years ago
- 电子书收纳整理☆21Feb 28, 2026Updated 6 months ago