aigarashi/copl-tools external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

aigarashi/copl-tools

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/aigarashi/copl-tools)

Close

aigarashi / copl-toolsView on GitHubMore

• External links
• Readme badge

tools for the book "Concepts of Programming Languages"

☆20Jan 1, 2026Updated 2 months ago

Alternatives and similar repositories for copl-tools

Users that are interested in copl-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• nobsun / hs-bcopl

  View on GitHub
  五十嵐淳 著『プログラミング言語の基礎概念』
  ☆10Feb 27, 2016Updated 10 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
• hanazuki / satysfi.el

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

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

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• mitsuchi / ron

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

  View on GitHub
  Refinement type checking and inference tool for Rust
  ☆19Mar 16, 2026Updated last week
• kmizu / scomb

  View on GitHub
  SComb: Simple but Powerful Parser Combinator Library
  ☆18Jun 6, 2025Updated 9 months ago
• exfinen / zk-toolkit

  View on GitHub
  Library built from scratch to implement zk-protocols
  ☆13Dec 13, 2023Updated 2 years ago
• puripuri2100 / satysfi-code-printer

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• blue0513 / phantom-inline-comment

  View on GitHub
  visible but not affect the source code
  ☆45May 19, 2019Updated 6 years ago
• nanikamado / cotton

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• monaqa / satysfi-azmath

  View on GitHub
  A SATySFi package containing A-to-Z mathematical commands.
  ☆16Oct 10, 2022Updated 3 years ago
• kmizu / minis

  View on GitHub
  A Programming Language implemented in JavaScript
  ☆18Feb 11, 2026Updated last month
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Mar 5, 2026Updated 3 weeks ago
• chuntaro / emacs-color-picker

  View on GitHub
  Color picker for GUI version Emacs
  ☆12Dec 25, 2019Updated 6 years ago
• flavioc / cl-meld

  View on GitHub
  Meld compiler written in Common Lisp
  ☆13Nov 20, 2015Updated 10 years ago
• SRI-CSL / filia

  View on GitHub
  Translate Python and JavaScript into MLIR
  ☆17Aug 27, 2022Updated 3 years ago
• na4zagin3 / satyrographos

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

  View on GitHub
  🥟 Stanz is a scala library for purely functional Bayesian analysis.
  ☆10Aug 7, 2020Updated 5 years ago
• ksrky / Plato

  View on GitHub
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆23Jan 14, 2024Updated 2 years ago
• pickoba / satysfi-workshop

  View on GitHub
  SATySFi Support for VSCode
  ☆20Updated this week
• namachan10777 / BiByFi

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• takanakahiko / tweet-deleter

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

  View on GitHub
  雙峰祭オンラインシステム バックエンド
  ☆20May 1, 2023Updated 2 years ago
• charmful0x / gitpoap-gh-badge

  View on GitHub
  static GitPOAPs badge generator for Github READMEs
  ☆12Aug 25, 2022Updated 3 years ago
• wacul / valval

  View on GitHub
  go validation library
  ☆12Jun 7, 2019Updated 6 years ago
• adelshb / graphqec

  View on GitHub
  A library for analyzing Quantum Error Correction Codes from their Tanner Graphs.
  ☆14Aug 23, 2025Updated 7 months ago
• CommCompEngKyotoU / kuisthesis-template

  View on GitHub
  ☆12Jan 31, 2026Updated last month
• mtcq / unitary_inverse

  View on GitHub
  Code to accompany "Reversing unknown quantum transformations: A universal protocol for inverting general unitary operations"
  ☆12Jan 4, 2022Updated 4 years ago
• Ryoga-exe / Life-public

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

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• timeforcoffee / tramboard-clj

  View on GitHub
  A rewrite of the Tramboard using clojure and om
  ☆16Nov 1, 2016Updated 9 years ago
• hellonico / niclojure

  View on GitHub
  Candid whitebook on Clojure ecosystem
  ☆32Jul 10, 2013Updated 12 years ago
• wasmerio / spiderfire

  View on GitHub
  JavaScript Runtime built with Mozilla's SpiderMonkey Engine
  ☆14Nov 4, 2024Updated last year
• ushitora-anqou / waq

  View on GitHub
  Yet another ActivityPub server implementation written in OCaml
  ☆49Dec 25, 2025Updated 3 months ago
• qec-codes / qec

  View on GitHub
  Python Tools for Quantum Error Correction
  ☆24Nov 23, 2025Updated 4 months ago
• shraggy / qiskit_surface_codes-1

  View on GitHub
  Surface Code Implementation for Qiskit
  ☆11Jul 7, 2020Updated 5 years ago