用作文档目的，翻译方式见 Issue #10
☆41Apr 1, 2019Updated 6 years ago
Alternatives and similar repositories for Idris-dev
Users that are interested in Idris-dev are comparing it to the libraries listed below
Sorting:
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- Haskell Group Community >>= Haskell 中文社区。☆16Mar 19, 2021Updated 4 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 5 years ago
- Source code to build vczh-libraries.github.io☆11Updated this week
- JLU drcom client written in golang.☆12Sep 4, 2019Updated 6 years ago
- AIM International Technical Specification - Han Xin Code Encoding Library for .Net☆12May 9, 2019Updated 6 years ago
- ☆15Mar 24, 2019Updated 6 years ago
- 帮助进行三测温一打卡的 Telegram Bot☆12Jan 16, 2021Updated 5 years ago
- A Scala wrapper for Apache POI's Excel API.☆11Jan 8, 2020Updated 6 years ago
- angular sketch renderer☆14Apr 20, 2018Updated 7 years ago
- Notes for ReactivePlatform User.（请使用issue，作为笔记使用。）☆14Jan 16, 2016Updated 10 years ago
- Algebraic effects in the Bluefin effect system☆20Dec 29, 2025Updated 2 months ago
- Book of The Corner of Elixir☆18Aug 11, 2022Updated 3 years ago
- 《Spring 5实战》 中文版代码清单☆19Jul 23, 2021Updated 4 years ago
- ☆15Nov 9, 2019Updated 6 years ago
- ☆15May 29, 2020Updated 5 years ago
- Lecture note on Lambda Calculus and Types for FLOLAC☆27Jul 2, 2024Updated last year
- The frontend of JLU Mirrors☆20Feb 12, 2025Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- Optimized JS codegen for Idris☆54Sep 7, 2018Updated 7 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆220Updated this week
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- 《软件基础》中译版 Software Foundations Chinese Translation☆963Updated this week
- Jilin University Linux User Group☆25Dec 27, 2023Updated 2 years ago
- Placeholder for the OwO compiler☆60Feb 20, 2019Updated 7 years ago
- home page☆75Aug 25, 2022Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 7 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Component code finder for vue☆33Oct 23, 2017Updated 8 years ago
- Sweet.js macros to support the async/await ES7 proposed feature☆36Jul 31, 2014Updated 11 years ago
- 《Real World Haskell》中文翻译项目☆1,579Feb 14, 2022Updated 4 years ago
- github tools☆40Jul 25, 2014Updated 11 years ago
- [译] 复杂性思维☆30Apr 15, 2018Updated 7 years ago
- This is code analysis of UnixV6 code in Chinese version, which is similar to Lions', but it's more detail and helpful.☆36Jul 14, 2013Updated 12 years ago
- 《反应式设计模式》中文版代码清单 勘误地址=>☆159Jun 7, 2023Updated 2 years ago
- CMake Unity integration tutorial sample project☆33Aug 17, 2024Updated last year