youki-doc / youki

Related projects ⓘ

Alternatives and complementary repositories for youki

• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆102Updated 7 years ago
• be5invis / your-type
  ☆25Updated 7 years ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆63Updated 5 years ago
• xiaq / zhuji
  珠玑者算机语也
  ☆37Updated 8 years ago
• Cm-lang / Cmc
  the compiler for the Cm programming language
  ☆30Updated 6 years ago
• MarisaKirisame / resume
  ☆42Updated 2 years ago
• dramforever / frandre
  Functional Reactive Animation Drawing Environment
  ☆9Updated 7 years ago
• banana-space / btex
  ☆45Updated 8 months ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated 2 weeks ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• PE-CN / PE-CN.github.io
  Project Euler | 欧拉计划 中文翻译站
  ☆45Updated 6 months ago
• chaoxu / fancy-walks
  solutions for problems/puzzles from a variety of websites in fancy languages
  ☆18Updated 13 years ago
• clerkma / ptex-ng
  Asiatic pTeX
  ☆293Updated this week
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 5 years ago
• ice1000 / Books
  My slides and notes
  ☆137Updated last year
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆85Updated 2 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• dramforever / each
  ☆10Updated 4 years ago
• clerkma / texlive-msvc-build
  TeX Live with MSVC
  ☆13Updated last week
• Alaya-in-Matrix / CLaSH-Processor
  A simple processor running on FPGA written in Haskell(CLaSH) and compiled into verilog
  ☆22Updated 6 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 3 years ago