☆29Aug 3, 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 5 months ago
- ☆39Jun 2, 2026Updated 2 months ago
- Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)☆16Jan 26, 2020Updated 6 years ago
- A lambda calculus interpreter written in Python☆20Feb 24, 2022Updated 4 years ago
- 《汇编语言一发入魂》配套代码☆15May 30, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 里缪的图书馆，汇总平时阅读过的所有文献资料，尽量不会包含盗版内容。☆17Jun 16, 2023Updated 3 years ago
- charles抓包获取har文件，提取二进制生成豆包播客音频☆20May 26, 2025Updated last year
- racket指南翻译☆24Nov 13, 2021Updated 4 years ago
- PisaAI is a photo repair and retouching tool, that uses AI algorithms to automatically colorize black& white photos, repair old photos, a…☆14Mar 20, 2023Updated 3 years ago
- Interactive TCP stack learning tool☆13May 27, 2023Updated 3 years ago
- A native macOS EPUB reader and Markdown editor with warm themes and highlighting, built for focused reading.☆20Jun 22, 2026Updated last month
- WebUI full-stack application featuring Google programmable search engine, Beautiful soup web scrapping, GPT to produce high quality LaTeX…☆19Jul 15, 2024Updated 2 years ago
- Deer: Javascript Runtime, just for fun.☆12Oct 14, 2022Updated 3 years ago
- Qcloud cos webpack plugin（腾讯云 COS webpack 插件）☆13May 15, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 武汉大学复变函数与积分变换期末考试复习资料，祝各位逢考必过！☆14Dec 18, 2021Updated 4 years ago
- ☆50Apr 27, 2024Updated 2 years ago
- 基于 nodejs 腾讯云 cos 静态资源上传插件☆15Dec 7, 2022Updated 3 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- 腾讯云 cos 静态资源上传 gulp 插件☆17Dec 7, 2022Updated 3 years ago
- Tutorial for assignment of Introduction to Database System☆12Sep 29, 2025Updated 10 months ago
- ☆23Sep 6, 2024Updated last year
- 通过Chatgpt每日严选今天吃什么，故称 Eat + chatgpt = Eatgpt☆10Jul 16, 2023Updated 3 years ago
- Automated CUDA kernel performance diagnostics from NVIDIA Nsight Compute (NCU) CSV exports.☆34Mar 18, 2026Updated 4 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 library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit floating point (FP8) precision on Hopper and Ada GPUs…☆10Feb 5, 2026Updated 5 months ago
- Rust Embedded HAL for Apache NuttX RTOS☆14May 9, 2022Updated 4 years ago
- Materials related to Hang Li's book "Machine Learning Methods", in both Chinese and English☆47May 1, 2026Updated 3 months ago
- 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
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- A Rust version of db tutorial implementation☆60May 4, 2022Updated 4 years ago
- ☆22Apr 5, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- interprets lambda calculus☆10Dec 1, 2025Updated 8 months ago
- [SIGIR 2025] Benchmarking Recommendation, Classification, and Tracing Based on Hugging Face Knowledge Graph☆17Jun 6, 2025Updated last year
- Tiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)☆75Jul 22, 2024Updated 2 years ago
- Advent of Code 2025 done in Lean 4☆18Dec 12, 2025Updated 7 months ago
- The repository for the book "The Node Experiment - Exploring Async Basics with Rust"☆15Oct 9, 2019Updated 6 years ago
- awesome for your to collections☆26Mar 30, 2023Updated 3 years ago
- 电子书收纳整理☆21Feb 28, 2026Updated 5 months ago