cu1ch3n / menu

Related projects: ⓘ

• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆24Updated 2 weeks ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆13Updated 5 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated 7 months ago
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆17Updated last month
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆24Updated last month
• touying-typ / touying-exporter
  Export presentation slides in various formats for Touying.
  ☆21Updated 3 months ago
• rami3l / plfl
  Learn Lean 4 with PLFA proofs.
  ☆47Updated 4 months ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• agda-web / agda-wasm-dist
  Distributions of Agda executable compiled into WebAssembly.
  ☆15Updated last month
• rqy2002 / typst-experiment
  Some experimental Typst files.
  ☆14Updated last year
• EpicEricEE / typst-plugins
  My plugins and packages for typst
  ☆28Updated 2 months ago
• Enter-tainer / jogs
  ☆17Updated 4 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 3 years ago
• Trebor-Huang / ice1000
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
  ☆20Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆47Updated 3 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆21Updated last week
• KonjacSource / ShiTT
  ShiTT is a dependent typed language with practical features.
  ☆23Updated this week
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated last year
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆47Updated last year
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 2 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆19Updated 4 years ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆19Updated this week
• crlf0710 / tex-rs
  A port of TeX82 to Rust. (WIP)
  ☆33Updated 2 years ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆41Updated last week
• Marmare314 / lemmify
  A library for typesetting mathematical theorems in typst.
  ☆14Updated 3 weeks ago
• liuguangxi / suiji
  A high efficient random number generator in Typst
  ☆14Updated 5 months ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆32Updated 2 years ago