翻译idris2教程
☆14May 17, 2025Updated 9 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:
- An mdbook for fltk-rs, translated into Chinese.中文翻译版fltk-rs的一本书☆17May 7, 2024Updated last year
- ☆237Feb 15, 2026Updated 2 weeks ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- ☆19Jun 28, 2025Updated 8 months ago
- ☆10Feb 23, 2025Updated last year
- Pro Django中文译本☆11Jun 11, 2017Updated 8 years ago
- A RealWorld application built with Marten.☆15Feb 14, 2026Updated 2 weeks ago
- Han Chinese standalone for 0 AD☆12Feb 17, 2022Updated 4 years ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- 骆驼小店-可免费商用,新一代开源小程序商城。这是管理后台部分。☆10Jul 22, 2021Updated 4 years ago
- Source to my blog☆11Nov 25, 2025Updated 3 months ago
- This is a set of command line elements that we can run and install in our system created in Kotlin and Generated using the Kotlin Native …☆11Jan 9, 2026Updated last month
- 收录一些数学书籍,便于查阅(工科生必须夯实数理基础啊!)☆12Oct 29, 2022Updated 3 years ago
- The guide for the Mint programming language☆13Feb 5, 2020Updated 6 years ago
- ☆16Oct 15, 2025Updated 4 months ago
- A lightweight CAPTCHA library☆10Feb 23, 2026Updated last week
- Native Swift package that abstracts bridging for iOS and Android☆16Feb 12, 2026Updated 2 weeks ago
- Zig build package, bindings and C API for Bullet Physics SDK☆14Jan 4, 2026Updated last month
- My personal website☆16May 12, 2025Updated 9 months ago
- Lightweight behavior tree implementation in Rust☆11Jan 4, 2026Updated last month
- Syntax Highlighting for Hare☆11Aug 12, 2022Updated 3 years ago
- ☆10May 27, 2025Updated 9 months ago
- Nugine 的个人博客☆11Feb 20, 2026Updated last week
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Max的修改字體用腳本☆15Jan 19, 2026Updated last month
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- lichuang.github.io☆11Updated this week
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- A site that compares Rust to C++ and Java☆12Apr 10, 2022Updated 3 years ago
- 为 Fcitx 一键添加 Emoji 输入功能☆10Oct 10, 2016Updated 9 years ago
- A simple, one-file Python RPC System that is based on Streams allowing for cross-language/SSH usage.☆16Jun 18, 2013Updated 12 years ago
- ☆14Aug 5, 2025Updated 6 months ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 7 years ago
- A Flask Skeleton project with Sass and Coffeescropt☆13Feb 16, 2016Updated 10 years ago
- A high-performance Rust crate for geospatial and non-geospatial point clustering.☆15Feb 9, 2026Updated 3 weeks ago
- ☆20Updated this week
- Generate a schema and validate user input from types☆12Jan 6, 2026Updated last month
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- An "as simple as possible" Future implementation for parking_lot☆16Aug 25, 2021Updated 4 years ago