codes written while learning them.
☆47Mar 20, 2020Updated 5 years ago
Alternatives and similar repositories for learn
Users that are interested in learn are comparing it to the libraries listed below
Sorting:
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- An Android UI framework for chatting APPs.☆16May 10, 2016Updated 9 years ago
- A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner☆16Aug 24, 2016Updated 9 years ago
- Placeholder for the OwO compiler☆60Feb 20, 2019Updated 7 years ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- Simple tool for creating pitch timeline☆11May 21, 2022Updated 3 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Text sequence data structures☆16May 8, 2020Updated 5 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Distributed Algorithms — Online Textbook☆18Jan 2, 2021Updated 5 years ago
- A VS Code extension help you explore CPython internals☆15Mar 3, 2023Updated 3 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- 有针对性地表达自己的崇敬之心☆37May 12, 2017Updated 8 years ago
- The Scala parser to parse riscv/riscv-opcodes generate☆24Jan 21, 2026Updated last month
- Another Template Meta Programming Library☆16Mar 15, 2017Updated 8 years ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 3 years ago
- UFCase: Ultimate Windows Components Explorer☆24Sep 12, 2025Updated 5 months ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25May 14, 2020Updated 5 years ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29May 2, 2023Updated 2 years ago
- History of type theory (Chinese).☆359May 25, 2025Updated 9 months ago
- PWA for Chafan☆52Feb 28, 2026Updated last week
- A cross-platform foundation library.☆27Mar 26, 2020Updated 5 years ago
- luogu冬日画板自动绘图脚本支持多用户,维护☆33Dec 24, 2020Updated 5 years ago
- A proof assistant and a dependently-typed language☆349Feb 22, 2026Updated last week
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Aug 7, 2020Updated 5 years ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆10May 28, 2023Updated 2 years ago
- ☆11Updated this week
- ☆15Sep 19, 2021Updated 4 years ago
- ☆12Mar 10, 2024Updated last year
- ☆51Dec 20, 2023Updated 2 years ago
- A simple example of creating a package and using it in another package with subclassing starting with shrubbery and landscaping.☆10Apr 5, 2018Updated 7 years ago
- A research notes about how to get benefits from Cython to be asynchronous beyond IO tasks☆11Feb 17, 2020Updated 6 years ago
- Bring the early-2021 UI back to YouTube!☆10Sep 17, 2025Updated 5 months ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 5 months ago
- Latest version of IFISS software☆11Dec 27, 2025Updated 2 months ago