Alternatives and similar repositories for satysfi.el

Users that are interested in satysfi.el are comparing it to the libraries listed below

• nagaet / Garrigue-lecture-2018_AW

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

  View on GitHub
  dotfiles
  ☆13Feb 4, 2025Updated last year
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• 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
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• konn / linear-extra

  View on GitHub
  Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
  ☆14Dec 29, 2025Updated last month
• Ryoga-exe / css-monte-carlo-pi

  View on GitHub
  📐 Calculate Pi with Monte Carlo method in 100% CSS (no JavaScript!)
  ☆13Nov 26, 2023Updated 2 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• aigarashi / copl-tools

  View on GitHub
  tools for the book "Concepts of Programming Languages"
  ☆20Jan 1, 2026Updated last month
• puripuri2100 / satysfi-code-printer

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

  View on GitHub
  Minimal and combinable configuration manager for Emacs
  ☆16Aug 6, 2024Updated last year
• gfngfn / satysfi.el

  View on GitHub
  An Emacs major mode for SATySFi
  ☆18Aug 10, 2024Updated last year
• usagrada / satysfi-formatter

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

  View on GitHub
  Text-based to-do management CLI & language server
  ☆17Jan 15, 2023Updated 3 years ago
• akirak / mozc-posframe

  View on GitHub
  Posframe frontend for mozc.el
  ☆17May 2, 2025Updated 9 months ago
• monaqa / tree-sitter-satysfi

  View on GitHub
  tree-sitter grammar for SATySFi
  ☆19Apr 8, 2023Updated 2 years ago
• musaprg / runzigc

  View on GitHub
  ☆18Dec 15, 2023Updated 2 years ago
• na4zagin3 / satyrographos

  View on GitHub
  Package manager for SATySFi
  ☆48Sep 25, 2023Updated 2 years ago
• namachan10777 / BiByFi

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• wtsnjp / MioGatto

  View on GitHub
  An annotation tool for grounding of formulae
  ☆24May 28, 2024Updated last year
• minoki / cluttex

  View on GitHub
  Process LaTeX documents without cluttering your working directory
  ☆58Nov 2, 2025Updated 3 months ago
• emacs-jp / dmacro

  View on GitHub
  Repeated detection and execution of key operation
  ☆65Oct 27, 2024Updated last year
• daac-tools / crawdad

  View on GitHub
  🦞 Rust library of natural language dictionaries using character-wise double-array tries.
  ☆36Jan 13, 2025Updated last year
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆26Sep 29, 2022Updated 3 years ago
• zonuexe / dotfiles

  View on GitHub
  tadsan@zonuexe's dotfiles (.emacs, .zsh*, .profile... etc.)
  ☆29Sep 23, 2025Updated 4 months ago
• conao3 / keg.el

  View on GitHub
  Modern Elisp package development system
  ☆34Sep 29, 2024Updated last year
• akirak / emacs-config

  View on GitHub
  A reproducible Emacs configuration for Linux, built with Nix
  ☆45Feb 8, 2026Updated last week
• izumi-h / ccgcomp

  View on GitHub
  Logical inference system based on event semantics and degree semantics in formal semantics
  ☆11Jan 22, 2023Updated 3 years ago
• a2see-vnos / extract_my_tweets

  View on GitHub
  ダウンロードしたアーカイブから自分の投稿のみを抽出する
  ☆11Apr 21, 2025Updated 9 months ago
• nborrmann / diff-poetry-lock

  View on GitHub
  A Github Action that posts a summary of all changes within the poetry.lock file to a pull request
  ☆12Jul 18, 2024Updated last year
• hopv / MoCHi

  View on GitHub
  MoCHi: Model Checker for Higher-Order Programs
  ☆43Apr 19, 2025Updated 9 months ago
• YuyaMurakamiMath / My_TeX_template

  View on GitHub
  ☆18Dec 26, 2025Updated last month
• dd86k / sha3-d

  View on GitHub
  Pure D implementation of SHA-3 (Keccak-f[1600,24]) + DUB package
  ☆12Sep 15, 2025Updated 5 months ago
• entyu / udonarium_lily

  View on GitHub
  WebRTCを使ってブラウザ間通信を行うオンセツール　ユドナリウムの変更版ユドナリウムリリィです
  ☆18Jan 22, 2026Updated 3 weeks ago
• miu200521358 / mmd-auto-trace-3

  View on GitHub
  ☆11Apr 18, 2024Updated last year
• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• MAlba124 / memacs

  View on GitHub
  Untraditional GNU Emacs configuration
  ☆10Jul 10, 2024Updated last year
• Chuzume / Private_Dimension

  View on GitHub
  ☆10Oct 28, 2025Updated 3 months ago