running-grass / idris2-tutorial-zhLinks
翻译idris2教程
☆14Updated 5 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:
- A modern functional programming language with effect system.☆19Updated last year
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆120Updated 5 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 8 months ago
- RowScript programming language, making a better browser world☆123Updated this week
- Parser Combinator ver. Rust☆15Updated 5 years ago
- A toy xmonad☆31Updated 5 years ago
- lens implemented in rust☆117Updated 2 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆215Updated this week
- ☆22Updated last year
- 豫言☆27Updated last month
- Yet another Rust algebraic effect library using generators☆19Updated 4 months ago
- Next-GEN Confguration Template Generation Language☆12Updated 3 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 3 months ago
- A Typst-friendly static Zettelkästen site generator.☆134Updated last week
- P523 Course in Rust☆62Updated 3 years ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated last year
- TEA web UI framework for MoonBit☆81Updated this week
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 3 months ago
- Learn Lean 4 with PLFA proofs.☆92Updated 6 months ago
- Elaboration with inductive types☆16Updated 2 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆133Updated last month
- A category theory and functional programing library for Zig language☆62Updated 4 months ago
- ☆61Updated 4 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Updated 3 years ago
- ntype cafe summer school resources☆143Updated last year
- A concurrent GC.☆43Updated 3 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- The build system and package manager for MoonBit☆347Updated this week
- Cicada Language (solo version)☆129Updated 10 months ago
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆38Updated 2 months ago