codes written while learning them.
☆47Mar 20, 2020Updated 6 years ago
Alternatives and similar repositories for learn
Users that are interested in learn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner☆16Aug 24, 2016Updated 9 years ago
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Placeholder for the OwO compiler☆60Feb 20, 2019Updated 7 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- 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.
- Text sequence data structures☆16May 8, 2020Updated 5 years ago
- 有针对性地表达自己的崇敬之心☆37May 12, 2017Updated 8 years ago
- Simple tool for creating pitch timeline☆11May 21, 2022Updated 3 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Dec 16, 2022Updated 3 years ago
- This is a codeless and useless repo.☆14Jul 5, 2018Updated 7 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Another Template Meta Programming Library☆16Mar 15, 2017Updated 9 years ago
- Solutions for online code challenges. Don't be evil.☆15Jan 5, 2019Updated 7 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- History of type theory (Chinese).☆360May 25, 2025Updated 10 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- Python WSGI framework for developing matrix.org application-services☆10Oct 23, 2019Updated 6 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25May 14, 2020Updated 5 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Aug 7, 2020Updated 5 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- A cross-platform foundation library.☆27Mar 26, 2020Updated 6 years ago
- Chisel3 AXI4-{Lite, Full, Stream} Definitions☆15Dec 31, 2018Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Tools for handling slack channels and converting them to matrix☆10Mar 23, 2021Updated 5 years ago
- ☆51Dec 20, 2023Updated 2 years ago
- ☆14Oct 7, 2024Updated last year
- An outdated miniKanren implementation with a not-pairo constraint☆30Nov 28, 2013Updated 12 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Traits for julia iterators☆11Aug 22, 2020Updated 5 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- A general framework for multi-agent systems. An agent-environment interface is abstracted with a free monad.☆16Jan 12, 2018Updated 8 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- Javascript program that displays an updating quote panel for any currency pair using the OANDA REST API.☆16Jul 27, 2016Updated 9 years ago
- JVM game engine based on Swing/JavaFX.☆349Dec 28, 2019Updated 6 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago