ice1000/learn 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

ice1000/learn

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/ice1000/learn)

Close

ice1000 / learnView on GitHubMore

• External links
• Readme badge

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

• LighghtEeloo / data-types-a-la-carte

  View on GitHub
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Feb 7, 2023Updated 3 years ago
• owo-lang / intellij-dtlc

  View on GitHub
  IntelliJ plugin for several experimental programming languages here
  ☆36Oct 18, 2021Updated 4 years ago
• ice1000 / AIAndroid

  View on GitHub
  An Android UI framework for chatting APPs.
  ☆16May 10, 2016Updated 9 years ago
• icela / Castle-game

  View on GitHub
  A Castle game, based on https://github.com/ice1000/Castle-game, with capable GUI and CUI runner
  ☆16Aug 24, 2016Updated 9 years ago
• owo-lang / OwO

  View on GitHub
  Placeholder for the OwO compiler
  ☆60Feb 20, 2019Updated 7 years ago
• daiyousei-qz / Lolita

  View on GitHub
  An experimental lexer and parser generator
  ☆10Jul 31, 2018Updated 7 years ago
• duangsuse-valid-projects / Hachiko

  View on GitHub
  Simple tool for creating pitch timeline
  ☆11May 21, 2022Updated 3 years ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• ice1000 / text-sequence

  View on GitHub
  Text sequence data structures
  ☆16May 8, 2020Updated 5 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• tonyxty / hStacks

  View on GitHub
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Oct 10, 2020Updated 5 years ago
• suomela / da

  View on GitHub
  Distributed Algorithms — Online Textbook
  ☆18Jan 2, 2021Updated 5 years ago
• lijunchen / vscode-cpython-explorer

  View on GitHub
  A VS Code extension help you explore CPython internals
  ☆15Mar 3, 2023Updated 3 years ago
• ice1000 / arend-io

  View on GitHub
  A toy IO library for Arend
  ☆18Feb 12, 2021Updated 5 years ago
• doofin / differentiable-idris

  View on GitHub
  dependent types meets deep learning
  ☆44Jan 7, 2019Updated 7 years ago
• ylxdzsw / mo-generator

  View on GitHub
  有针对性地表达自己的崇敬之心
  ☆37May 12, 2017Updated 8 years ago
• chipsalliance / rvdecoderdb

  View on GitHub
  The Scala parser to parse riscv/riscv-opcodes generate
  ☆24Jan 21, 2026Updated last month
• yufengzjj / ATMPL

  View on GitHub
  Another Template Meta Programming Library
  ☆16Mar 15, 2017Updated 8 years ago
• xye7ei / metaparse

  View on GitHub
  A handy tool to help design and parse your own language
  ☆21Aug 13, 2022Updated 3 years ago
• seven-mile / UFCase

  View on GitHub
  UFCase: Ultimate Windows Components Explorer
  ☆24Sep 12, 2025Updated 5 months ago
• stenbror / PythonCoreFrameworkFSharp

  View on GitHub
  Python core implemented in F# language and under dotnetcore 3.1 or later.
  ☆25May 14, 2020Updated 5 years ago
• chrisdone-archive / inflex

  View on GitHub
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆29May 2, 2023Updated 2 years ago
• Trebor-Huang / history

  View on GitHub
  History of type theory (Chinese).
  ☆359May 25, 2025Updated 9 months ago
• chafan-dev / chafan-pwa

  View on GitHub
  PWA for Chafan
  ☆52Feb 28, 2026Updated last week
• 9chu / Moe.Core

  View on GitHub
  A cross-platform foundation library.
  ☆27Mar 26, 2020Updated 5 years ago
• Enter-tainer / luoguPaintAutomatonTS

  View on GitHub
  luogu冬日画板自动绘图脚本支持多用户，维护
  ☆33Dec 24, 2020Updated 5 years ago
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆349Feb 22, 2026Updated last week
• ucsd-progsys / mist

  View on GitHub
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Jun 22, 2021Updated 4 years ago
• LemonVM / LemonVMAlpha

  View on GitHub
  A Register Based VM. 柠檬手写的看起来像栈机的寄存器机
  ☆65Aug 7, 2020Updated 5 years ago
• wareya / ffam

  View on GitHub
  Conversion tools for grub's awful PFF2/pf2 font format.
  ☆10May 28, 2023Updated 2 years ago
• ObeliskGate / rpze

  View on GitHub
  ☆11Updated this week
• cue-sh / stax

  View on GitHub
  ☆15Sep 19, 2021Updated 4 years ago
• CasuallyCalm / dearpygui-async

  View on GitHub
  ☆12Mar 10, 2024Updated last year
• YingboMa / Unityper.jl

  View on GitHub
  ☆51Dec 20, 2023Updated 2 years ago
• jkleckner / cython_example

  View on GitHub
  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
• AFO-UYI / AsyncIO-Cython-ideas-and-research

  View on GitHub
  A research notes about how to get benefits from Cython to be asynchronous beyond IO tasks
  ☆11Feb 17, 2020Updated 6 years ago
• Alluseri / SeriStyle

  View on GitHub
  Bring the early-2021 UI back to YouTube!
  ☆10Sep 17, 2025Updated 5 months ago
• xunqianxun / liguoqi-rv64-cpu

  View on GitHub
  RISC-V 64 CPU
  ☆10Oct 4, 2025Updated 5 months ago
• mcbssds / IFISS_download

  View on GitHub
  Latest version of IFISS software
  ☆11Dec 27, 2025Updated 2 months ago