slowphil / texmacs-win-builder

Related projects ⓘ

Alternatives and complementary repositories for texmacs-win-builder

• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆33Updated this week
• texmacs / notes
  Notes about TeXmacs
  ☆25Updated this week
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆41Updated last month
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated 10 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• PikachuHy / texmacs-converter-tm2md
  a converter to markdown format for TeXmacs.
  ☆11Updated 4 years ago
• LiiiLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆35Updated this week
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 7 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated 6 months ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• XmacsLabs / interactive-sicp
  ☆18Updated 2 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆30Updated last year
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆14Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• iovxw / chez-json
  A JSON library for Chez Scheme
  ☆15Updated 7 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 4 years ago
• racket / algol60
  ☆12Updated 2 weeks ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆9Updated 3 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆51Updated this week
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 4 years ago