翻译idris2教程
☆14May 17, 2025Updated 10 months ago
Alternatives and similar repositories for idris2-tutorial-zh
Users that are interested in idris2-tutorial-zh are comparing it to the libraries listed below
Sorting:
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- ☆238Feb 15, 2026Updated last month
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- RDA Metadata Standards Catalog, version 2☆16Mar 5, 2026Updated 2 weeks ago
- 十分钟魔法练习 TypeScript 版☆14Dec 6, 2022Updated 3 years ago
- ☆23Mar 18, 2023Updated 3 years ago
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years ago
- An mdbook for fltk-rs, translated into Chinese.中文翻译版fltk-rs的一本书☆17May 7, 2024Updated last year
- Completed codelabs from the gRPC project.☆13Oct 28, 2025Updated 4 months ago
- A first-in-first-out for bytes, like kfifo in Linux.☆19Apr 15, 2017Updated 8 years ago
- Clear Coat is a Rust wrapper for the IUP GUI library.☆17Dec 28, 2019Updated 6 years ago
- 这是为游戏隐迹渐现（pentiment）设计的双语字幕补丁。/ This is a bilingual subtitles patch designed for the game "Pentiment".☆14Feb 5, 2024Updated 2 years ago
- Language Server for Idris2☆187Dec 28, 2025Updated 2 months ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- 你所未见过的 Awesome Rust，拒绝过时，拒绝敷衍，拒绝低质量！☆10Mar 29, 2022Updated 3 years ago
- ☆16Nov 14, 2024Updated last year
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- ☆16Jul 2, 2025Updated 8 months ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Oct 9, 2021Updated 4 years ago
- ☆22May 19, 2025Updated 10 months ago
- Android Binder crate in pure Rust☆11Feb 15, 2018Updated 8 years ago
- Rust library for testing code relying on the global allocator☆13Mar 20, 2024Updated 2 years ago
- learn you a haskell for great good 中文版☆146Jun 11, 2021Updated 4 years ago
- Zig build package, bindings and C API for Bullet Physics SDK☆14Mar 6, 2026Updated 2 weeks ago
- Lightweight behavior tree implementation in Rust☆11Jan 4, 2026Updated 2 months ago
- An "as simple as possible" Future implementation for parking_lot☆16Aug 25, 2021Updated 4 years ago
- ☆10May 27, 2025Updated 9 months ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- Simple Embeddable Persistent Generic HashMap/Key-Value Store☆14Jun 13, 2021Updated 4 years ago
- LR-style Parser Generator☆19May 28, 2025Updated 9 months ago
- Parser Combinator ver. Rust☆15Jun 16, 2020Updated 5 years ago
- Type Driven Database Framework.☆32Jan 19, 2026Updated 2 months ago
- A multistart framework for global optimization with scatter search and local NLP solvers written in Rust☆27Mar 6, 2026Updated 2 weeks ago
- ☆23Jun 13, 2024Updated last year
- Geyser is a high-performance Rust library designed for zero-copy GPU texture sharing across various graphics APIs, including Vulkan, Meta…☆28Oct 23, 2025Updated 5 months ago
- MPM physics simulation with WebGPU☆18May 21, 2025Updated 10 months ago
- mike coursera stduy note☆14Jan 28, 2021Updated 5 years ago
- A music-player written with rust and iced☆29May 12, 2024Updated last year