Alternatives and similar repositories for sumiilab-tex

Users that are interested in sumiilab-tex are comparing it to the libraries listed below

• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 7, 2026Updated last week
• egison / typed-egison

  View on GitHub
  ☆19Jan 29, 2019Updated 7 years ago
• kearch / kearch

  View on GitHub
  Distributed search engine
  ☆56Feb 20, 2019Updated 6 years ago
• FujishigeTemma / InternetArchLecture

  View on GitHub
  ☆17Nov 27, 2020Updated 5 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆21Feb 24, 2025Updated 11 months ago
• KOBA789 / ssh-rev-exec

  View on GitHub
  Execute command in local client from remote host
  ☆24Jun 21, 2025Updated 7 months ago
• kory33 / scala-proofs

  View on GitHub
  An attempt to build axiomatic, formal set theory on top of Scala.
  ☆37Dec 15, 2023Updated 2 years ago
• sajikix / check-eslint-config-compat

  View on GitHub
  ☆12Aug 8, 2024Updated last year
• Ran350 / portfolio

  View on GitHub
  my portfolio site
  ☆10Updated this week
• vain0x / milone-lang

  View on GitHub
  Self-hosting F#-subset compiler
  ☆48Feb 11, 2025Updated last year
• ushitora-anqou / waq

  View on GitHub
  Yet another ActivityPub server implementation written in OCaml
  ☆49Dec 25, 2025Updated last month
• SnO2WMaN / satyxin

  View on GitHub
  Are you SATySFi-ed with Nix?
  ☆14Mar 6, 2023Updated 2 years ago
• yudaitnb / vl

  View on GitHub
  PWV Functional Language
  ☆15Oct 30, 2023Updated 2 years ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 6 years ago
• qnighy / ipc_solver

  View on GitHub
  O(N log N)-space IPC solver in OCaml
  ☆53Apr 4, 2023Updated 2 years ago
• KOBA789 / rust-reversi

  View on GitHub
  Cookpad Spring 1day Internship 2018 Rust プログラミングコースで使用された講義資料
  ☆31Apr 17, 2018Updated 7 years ago
• nyuichi / LeanHOL

  View on GitHub
  super tiny implementation of higher-order logic proof assistant in lean
  ☆22Sep 29, 2019Updated 6 years ago
• PyYoshi / TweetNowBrowsing

  View on GitHub
  Chrome Extension
  ☆12May 9, 2021Updated 4 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• na0214 / snail

  View on GitHub
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆13Dec 3, 2020Updated 5 years ago
• UMASHIBA1 / reglico

  View on GitHub
  [WIP]reglico is AltJsAndWasm language. This generate rust(wasm) and typescript code from one reglico code
  ☆14Mar 5, 2022Updated 3 years ago
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• rits-dajare / rits-dajare.github.io

  View on GitHub
  Official website of 立命館ダジャレサークル
  ☆13Updated this week
• nkon / ked-texteditor

  View on GitHub
  simple text editor using rust language.
  ☆14Apr 13, 2020Updated 5 years ago
• nomaddo / loop

  View on GitHub
  ☆15Apr 8, 2017Updated 8 years ago
• toranoana / tora-viewer

  View on GitHub
  ☆60Sep 17, 2025Updated 5 months ago
• mitsuchi / ron

  View on GitHub
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆16Nov 17, 2025Updated 3 months ago
• bracket-computer / itzmono-vite

  View on GitHub
  A project template for Vite + TypeScript + React + Tailwind CSS + Blueprint apps
  ☆66Updated this week
• puripuri2100 / satysfi-code-printer

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• nekketsuuu / satysfi-matrix

  View on GitHub
  Math matrix library for SATySFi
  ☆14Oct 15, 2019Updated 6 years ago
• faber-lang / faber

  View on GitHub
  functional programming language and its compiler
  ☆18Oct 22, 2019Updated 6 years ago
• kt3k / times-kt3k

  View on GitHub
  My timeline
  ☆15Feb 6, 2026Updated last week
• usagrada / satysfi-formatter

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 8 months ago
• yoshihiro503 / generaltan

  View on GitHub
  Another version of ProofGeneral character, じぇねらるたん
  ☆23May 25, 2016Updated 9 years ago
• 0918nobita / synth

  View on GitHub
  Synthesizer (using Web Audio API)
  ☆14Dec 30, 2020Updated 5 years ago
• tomoki / Shiranui

  View on GitHub
  Shiranui is new programming language supports live/test driven programming.
  ☆26Oct 20, 2015Updated 10 years ago