☆19Jul 14, 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 4 months ago
- DatasetResearch: Benchmarking Agent Systems for Demand-Driven Dataset Discovery☆22Sep 24, 2025Updated 9 months ago
- A lambda calculus interpreter written in Python☆20Feb 24, 2022Updated 4 years ago
- ☆12Jan 8, 2026Updated 6 months ago
- BUPT Undergraduate Project Thesis – A template written in Typst.☆19Apr 26, 2026Updated 2 months ago
- 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.
- Telegram Official Apps☆20Dec 17, 2022Updated 3 years ago
- Yet Another Papers With Code☆37Sep 7, 2025Updated 10 months ago
- racket指南翻译☆24Nov 13, 2021Updated 4 years ago
- [译] fast.ai 数值线性代数讲义 v2☆18Oct 11, 2018Updated 7 years ago
- 《Performance Analysis and Tuning on Modern CPUS - 2ed》的非专业个人翻译☆60Jan 8, 2025Updated last year
- Interactive TCP stack learning tool☆13May 27, 2023Updated 3 years ago
- 武汉大学复变函数与积分变换期末考试复习资料，祝各位逢考必过！☆14Dec 18, 2021Updated 4 years ago
- Tiny C++ LLM inference implementation from scratch☆119Jun 23, 2026Updated 3 weeks ago
- ai model base codellama☆100Dec 16, 2023Updated 2 years 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.
- Programming challenges for MO candidates☆30Apr 11, 2022Updated 4 years ago
- A distributed filesystem☆10Jan 31, 2017Updated 9 years ago
- ☆50Apr 27, 2024Updated 2 years ago
- ☆10Jan 18, 2021Updated 5 years ago
- 📐 具体数学读书笔记☆19Mar 29, 2022Updated 4 years ago
- ☆38May 26, 2026Updated last month
- MySQL UDF executing Lua code with storage engine API☆19May 18, 2017Updated 9 years ago
- Tutorial for assignment of Introduction to Database System☆12Sep 29, 2025Updated 9 months ago
- Face detection and recognition☆24Mar 12, 2015Updated 11 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.
- This is the repository for the code used in the ICML23 paper called "Achieving High Accuracy with PINNs via Energy Natural Gradient Desce…☆30Oct 22, 2024Updated last year
- compile lua fucntion to computer code just in time.☆12Jul 10, 2020Updated 6 years 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 5 months ago
- test gm sdkey/tfkey/usbkey through GM/T 0006-2012 and GM/T 0016-2012☆13Sep 28, 2016Updated 9 years ago
- Userland linux/amd64emulator in Go☆18Nov 27, 2020Updated 5 years ago
- Fast LLM Training CodeBase With dynamic strategy choosing [Deepspeed+Megatron+FlashAttention+CudaFusionKernel+Compiler];☆41Jan 4, 2024Updated 2 years ago
- Handwritten LaTeX symbol classifier for the desktop☆68May 17, 2026Updated last month
- Implementation of lua virtual machine☆11Jan 22, 2018Updated 8 years ago
- Example for writing a simple parser using Nom and Rust☆10Nov 19, 2020Updated 5 years 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.
- Rust Embedded HAL for Apache NuttX RTOS☆14May 9, 2022Updated 4 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- interprets lambda calculus☆10Dec 1, 2025Updated 7 months ago
- The c compiler optimized for speed written in MoonBit☆44Mar 5, 2026Updated 4 months ago
- Parser library for SQLite storage format in Rust☆19Mar 3, 2023Updated 3 years ago
- ☆23May 3, 2024Updated 2 years ago
- Tiny玩具语言(Go语言实现/包含Tiny编译器/CASL汇编器/COMET虚拟机/调试器/支持WebAssembly/LLVM)☆75Jul 22, 2024Updated last year