翻译idris2教程
☆15May 17, 2025Updated last year
Alternatives and similar repositories for idris2-tutorial-zh
Users that are interested in idris2-tutorial-zh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 years ago
- ☆239Feb 15, 2026Updated 3 months ago
- ☆151May 15, 2026Updated 3 weeks ago
- ☆11Dec 7, 2022Updated 3 years ago
- Rust powered flash programmer and on chip debugger for embedded devices☆13Dec 1, 2019Updated 6 years 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.
- 《The HoTT Book》 中文翻译☆10Jan 5, 2025Updated last year
- An mdbook for fltk-rs, translated into Chinese.中文翻译版fltk-rs的一本书☆17May 7, 2024Updated 2 years ago
- A first-in-first-out for bytes, like kfifo in Linux.☆19Apr 15, 2017Updated 9 years ago
- Clear Coat is a Rust wrapper for the IUP GUI library.☆17Dec 28, 2019Updated 6 years ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- BASIC interpreter - fetch and run classic BASIC programs☆23Jun 10, 2018Updated 8 years ago
- ☆49Mar 23, 2026Updated 2 months ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Oct 9, 2021Updated 4 years 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.
- ☆21May 19, 2025Updated last year
- Zig build package, bindings and C API for Bullet Physics SDK☆15May 30, 2026Updated last week
- Lightweight behavior tree implementation in Rust☆11Jan 4, 2026Updated 5 months ago
- ☆11May 27, 2025Updated last year
- ☆16Jan 11, 2019Updated 7 years ago
- Game of life rendered in your terminal with over 500+ unique patterns to choose from.☆26Aug 5, 2025Updated 10 months ago
- A high-performance Rust crate for geospatial and non-geospatial point clustering.☆15Updated this week
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Useful Apple macOS Automator & Shortcuts Scripts 苹果系统自动操作、快捷指令脚本☆18Dec 20, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Simple Embeddable Persistent Generic HashMap/Key-Value Store☆14Jun 13, 2021Updated 4 years ago
- Type Driven Database Framework.☆32May 31, 2026Updated last week
- LR-style Parser Generator☆19May 28, 2025Updated last year
- A multistart framework for global optimization with scatter search and local NLP solvers written in Rust☆27May 30, 2026Updated last week
- Reimplementing the Haskell prelude in Scala (for fun)☆13Jul 6, 2019Updated 6 years ago
- ☆24Jul 23, 2024Updated last year
- Geyser is a high-performance Rust library designed for zero-copy GPU texture sharing across various graphics APIs, including Vulkan, Meta…☆30Oct 23, 2025Updated 7 months ago
- mike coursera stduy note☆14Jan 28, 2021Updated 5 years ago
- Demonstrate jpackage for Scala apps for OS X and Windows using GitHub workflows☆15Sep 5, 2022Updated 3 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.
- Typeclasses for integration of dotty-cps-async with well-known monads.☆17May 17, 2026Updated 3 weeks ago
- Tutorial to learn to use the cranelift compiler backend☆24Mar 18, 2020Updated 6 years ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code com…☆26Jun 4, 2026Updated last week
- Implementation of the multi-objective genetic optimization algorithm NSGA-II☆12Jun 22, 2025Updated 11 months ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- How to implement a SAFE Objective-C Singleton☆14Feb 28, 2015Updated 11 years ago