Alternatives and similar repositories for copl-tools

Users that are interested in copl-tools are comparing it to the libraries listed below

• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• abap34 / almo

  View on GitHub
  [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。
  ☆16Oct 28, 2025Updated 3 months ago
• hanazuki / satysfi.el

  View on GitHub
  Emacs major mode for editing SATySFi documents
  ☆10Sep 6, 2019Updated 6 years ago
• SnO2WMaN / satyxin

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

  View on GitHub
  Refinement type checking and inference tool for Rust
  ☆16Updated this week
• mitsuchi / ron

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

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• rioyokotalab / hpsc-2024

  View on GitHub
  ☆15Jun 12, 2024Updated last year
• Ryoga-exe / Life-public

  View on GitHub
  @Ryoga-exe への連絡にお使いください
  ☆17Oct 30, 2023Updated 2 years ago
• pickoba / satysfi-workshop

  View on GitHub
  SATySFi Support for VSCode
  ☆20Nov 16, 2025Updated 2 months ago
• kmizu / minis

  View on GitHub
  A Programming Language implemented in JavaScript
  ☆18Updated this week
• sohosai / sos-backend

  View on GitHub
  雙峰祭オンラインシステム バックエンド
  ☆20May 1, 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
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• takanakahiko / tweet-deleter

  View on GitHub
  Delete your 2 or more days ago tweets Automatically.
  ☆31Jul 19, 2023Updated 2 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 25, 2025Updated 10 months ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• nanikamado / cotton

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• mmottl / pcre-ocaml

  View on GitHub
  OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
  ☆35Dec 20, 2025Updated last month
• vahidzee / dypy

  View on GitHub
  Toolkit for Dynamic Python code manipulations
  ☆11Oct 19, 2024Updated last year
• NHERI-SimCenter / SimCenterBootcamp2022

  View on GitHub
  ☆13Jul 22, 2022Updated 3 years ago
• Saffron-sh / m2m

  View on GitHub
  A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.
  ☆24Jan 11, 2026Updated last month
• 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
• Gabriella439 / haskell-flake

  View on GitHub
  Flake template for Haskell repository
  ☆38Oct 1, 2024Updated last year
• yammerjp / awkblog

  View on GitHub
  weblog implimentation by awk
  ☆39Jan 27, 2026Updated 2 weeks ago
• CIS1900 / 2022-fall

  View on GitHub
  ☆13Sep 5, 2024Updated last year
• jar3m / c_data_structures

  View on GitHub
  A generic data structures and algorithms library using C
  ☆12Nov 13, 2022Updated 3 years ago
• qnighy / satysfi.vim

  View on GitHub
  Vim syntax plugin for SATySFi typesetting system
  ☆33Sep 17, 2021Updated 4 years ago
• loongson / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆11Mar 21, 2023Updated 2 years ago
• TUM-DSE / sys-lab

  View on GitHub
  Computer Systems Lab
  ☆11Oct 16, 2025Updated 3 months ago
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆10Jan 18, 2024Updated 2 years ago
• angrave / CS341-Lectures-SP24

  View on GitHub
  CS341 for Spring 2024
  ☆11Jul 15, 2024Updated last year
• eventhelix / open-lte

  View on GitHub
  An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)
  ☆10Mar 7, 2017Updated 8 years ago
• ShichenLiu / C-compiler

  View on GitHub
  C to LLVM / Python compiler
  ☆10Jan 17, 2017Updated 9 years ago
• vijay03 / cs380d-f23

  View on GitHub
  CS 380D Distributed Systems at UT Austin with Vijay Chidambaram
  ☆12Oct 19, 2023Updated 2 years ago
• hikalium / lifestyle_guide

  View on GitHub
  hikalium's lifestyle guide
  ☆12Feb 16, 2025Updated 11 months ago