running-grass/idris2-tutorial-zh external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

running-grass/idris2-tutorial-zh

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/running-grass/idris2-tutorial-zh)

Close

running-grass / idris2-tutorial-zhView on GitHubMore

• External links
• Readme badge

翻译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

• Flatigers / fltk-book-zh

  View on GitHub
  An mdbook for fltk-rs, translated into Chinese.中文翻译版fltk-rs的一本书
  ☆17May 7, 2024Updated last year
• stefan-hoeck / idris2-tutorial

  View on GitHub
  ☆237Feb 15, 2026Updated 2 weeks ago
• staticgc / taskwait

  View on GitHub
  Wait for async tasks
  ☆13Dec 22, 2022Updated 3 years ago
• awesomo4000 / zig-swift-example

  View on GitHub
  ☆19Jun 28, 2025Updated 8 months ago
• mbStavola / rsps

  View on GitHub
  ☆10Feb 23, 2025Updated last year
• DYFeng / pro-django-zh

  View on GitHub
  Pro Django中文译本
  ☆11Jun 11, 2017Updated 8 years ago
• martenframework / realworld

  View on GitHub
  A RealWorld application built with Marten.
  ☆15Feb 14, 2026Updated 2 weeks ago
• 0ADMods / han_china

  View on GitHub
  Han Chinese standalone for 0 AD
  ☆12Feb 17, 2022Updated 4 years ago
• hudson-ayers / rlu-rust

  View on GitHub
  Implementation of Read-Log-Update in Rust
  ☆11Jan 8, 2020Updated 6 years ago
• gzqichang / camel-store-admin

  View on GitHub
  骆驼小店-可免费商用，新一代开源小程序商城。这是管理后台部分。
  ☆10Jul 22, 2021Updated 4 years ago
• xen0n / xen0n.github.io

  View on GitHub
  Source to my blog
  ☆11Nov 25, 2025Updated 3 months ago
• jesperancinha / whiskers-kotlin-native

  View on GitHub
  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
• chubbylhao / Math_ebooks

  View on GitHub
  收录一些数学书籍，便于查阅（工科生必须夯实数理基础啊！）
  ☆12Oct 29, 2022Updated 3 years ago
• mint-lang / guide

  View on GitHub
  The guide for the Mint programming language
  ☆13Feb 5, 2020Updated 6 years ago
• Loongson-Cloud-Community / Loongson-Cloud-Community

  View on GitHub
  ☆16Oct 15, 2025Updated 4 months ago
• akornatskyy / wheezy.captcha

  View on GitHub
  A lightweight CAPTCHA library
  ☆10Feb 23, 2026Updated last week
• skiptools / skip-fuse

  View on GitHub
  Native Swift package that abstracts bridging for iOS and Android
  ☆16Feb 12, 2026Updated 2 weeks ago
• zig-gamedev / zbullet

  View on GitHub
  Zig build package, bindings and C API for Bullet Physics SDK
  ☆14Jan 4, 2026Updated last month
• lunacookies / blog

  View on GitHub
  My personal website
  ☆16May 12, 2025Updated 9 months ago
• msakuta / rusty-behavior-tree-lite

  View on GitHub
  Lightweight behavior tree implementation in Rust
  ☆11Jan 4, 2026Updated last month
• aDotInTheVoid / hare-highlighing-vscode

  View on GitHub
  Syntax Highlighting for Hare
  ☆11Aug 12, 2022Updated 3 years ago
• KirisameMagicShop / kirisamemagicshop.github.io

  View on GitHub
  ☆10May 27, 2025Updated 9 months ago
• Nugine / nublog

  View on GitHub
  Nugine 的个人博客
  ☆11Feb 20, 2026Updated last week
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• max32002 / MaxFontScripts

  View on GitHub
  Max的修改字體用腳本
  ☆15Jan 19, 2026Updated last month
• Da1sypetals / Raddy

  View on GitHub
  An automatic differentiation system for dense and sparse problems
  ☆13Jan 16, 2025Updated last year
• lichuang / lichuang.github.io

  View on GitHub
  lichuang.github.io
  ☆11Updated this week
• jepsen-io / local-fs

  View on GitHub
  Jepsen tests for local filesystems, running on a single node.
  ☆16Aug 15, 2022Updated 3 years ago
• wspeirs / rust-compare

  View on GitHub
  A site that compares Rust to C++ and Java
  ☆12Apr 10, 2022Updated 3 years ago
• rainlime / fcitx-quick-phrase-emoji

  View on GitHub
  为 Fcitx 一键添加 Emoji 输入功能
  ☆10Oct 10, 2016Updated 9 years ago
• riga / rpyc-stream

  View on GitHub
  A simple, one-file Python RPC System that is based on Streams allowing for cross-language/SSH usage.
  ☆16Jun 18, 2013Updated 12 years ago
• somcosoftware / Flutter-vs-React-Native-vs-Qt

  View on GitHub
  ☆14Aug 5, 2025Updated 6 months ago
• slfritchie / wide-world-of-actors

  View on GitHub
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆12Mar 19, 2018Updated 7 years ago
• adambard / flask-skeleton

  View on GitHub
  A Flask Skeleton project with Sass and Coffeescropt
  ☆13Feb 16, 2016Updated 10 years ago
• chargetrip / supercluster-rs

  View on GitHub
  A high-performance Rust crate for geospatial and non-geospatial point clustering.
  ☆15Feb 9, 2026Updated 3 weeks ago
• hugovk / free-threaded-wheels

  View on GitHub
  ☆20Updated this week
• aio-libs / aiohttp-apischema

  View on GitHub
  Generate a schema and validate user input from types
  ☆12Jan 6, 2026Updated last month
• idris-bayes / melocule

  View on GitHub
  Probabilistic music composition in Idris2
  ☆16Dec 23, 2022Updated 3 years ago
• nappa85 / future-parking_lot

  View on GitHub
  An "as simple as possible" Future implementation for parking_lot
  ☆16Aug 25, 2021Updated 4 years ago