Alternatives and similar repositories for Plato

Users that are interested in Plato are comparing it to the libraries listed below

• yabaitechtokyo / satysfi-derive

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

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 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
• monaqa / satysfi-parser

  View on GitHub
  SATySFi parser writtern in Rust.
  ☆14Apr 14, 2022Updated 3 years ago
• mitsuchi / ron

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

  View on GitHub
  Programming language implementation for learning purposes
  ☆16Jul 28, 2025Updated 6 months ago
• mike-neck / savanna-gradle-plugin

  View on GitHub
  A gradle plugin for preventing no tests or to skip testing, inspired by https://github.com/kawasima/savanna-maven-plugin
  ☆18Jun 21, 2020Updated 5 years ago
• bitkey-oss / oxjest

  View on GitHub
  Advanced native ESM support for Jest, built on top of Oxc.
  ☆23Jan 5, 2026Updated last month
• nanikamado / cotton

  View on GitHub
  A programming language
  ☆70Nov 27, 2023Updated 2 years ago
• AumyF / dotstingray

  View on GitHub
  Highly-customizable dotfiles manager
  ☆14Feb 19, 2023Updated 2 years ago
• naoki9911 / quic-zig

  View on GitHub
  Toy QUIC implementation in Zig
  ☆13Sep 4, 2024Updated last year
• dprint / dprint-plugin-sql

  View on GitHub
  Wrapper around sqlformat-rs for use as a dprint plugin.
  ☆11Jul 18, 2023Updated 2 years ago
• alt-romes / ghengin

  View on GitHub
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆76Updated this week
• takanakahiko / tweet-deleter

  View on GitHub
  Delete your 2 or more days ago tweets Automatically.
  ☆31Jul 19, 2023Updated 2 years ago
• zinid / delimcc

  View on GitHub
  Delimited continuations in byte-code and native OCaml
  ☆27Jan 10, 2021Updated 5 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• cotowali / litsu

  View on GitHub
  ☆45Sep 30, 2022Updated 3 years ago
• Timofffee / tecs.nim

  View on GitHub
  Simple ECS implementation for Nim
  ☆13Mar 18, 2022Updated 3 years ago
• deer / fresh_blog

  View on GitHub
  A plugin for Fresh to create a blog.
  ☆15Mar 31, 2024Updated last year
• yudaitnb / vl

  View on GitHub
  PWV Functional Language
  ☆15Oct 30, 2023Updated 2 years ago
• dekirisu / type_cell

  View on GitHub
  Attach values statically to a type using static get/set methods.
  ☆18Dec 29, 2023Updated 2 years ago
• times-yasunori / kuusay

  View on GitHub
  Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]
  ☆11Oct 17, 2024Updated last year
• monaqa / satysfi-easytable

  View on GitHub
  A SATySFi package to build simple tables.
  ☆17Apr 30, 2022Updated 3 years ago
• ikanago / ojisan_f-ck

  View on GitHub
  おじさん風文章を解釈して動く Brainfuck interpreter
  ☆27Apr 26, 2022Updated 3 years ago
• nobsun / hs-bcopl

  View on GitHub
  五十嵐淳 著『プログラミング言語の基礎概念』
  ☆10Feb 27, 2016Updated 9 years ago
• klukaszek / sdl3-hs

  View on GitHub
  Haskell bindings for the SDL3 library.
  ☆20Jan 10, 2026Updated last month
• ianprime0509 / static-jsx

  View on GitHub
  A simple JSX runtime for static strings.
  ☆14Mar 28, 2023Updated 2 years ago
• zilch-lang / nstar

  View on GitHub
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆31May 27, 2023Updated 2 years ago
• denoland / terraform-provider-deno

  View on GitHub
  Terraform provider for hosted Deno APIs
  ☆16Mar 18, 2025Updated 10 months ago
• Laze-Project-Team / LazeCompiler

  View on GitHub
  Lazeのコンパイラ
  ☆15Sep 12, 2022Updated 3 years ago
• inaniwaudon / twitter-illustration

  View on GitHub
  A web application to show and filter illustrations included in tweets
  ☆13Aug 14, 2023Updated 2 years ago
• narumincho / definy

  View on GitHub
  deiny is web app for web app. under development
  ☆16Feb 5, 2026Updated last week
• kphrx / noxir

  View on GitHub
  Nostr Relay in Elixir with Mnesia
  ☆12Mar 10, 2025Updated 11 months ago
• nkon / ked-texteditor

  View on GitHub
  simple text editor using rust language.
  ☆14Apr 13, 2020Updated 5 years ago
• monaqa / satysfi-language-server

  View on GitHub
  The SATySFi Language Server
  ☆67Feb 1, 2023Updated 3 years ago
• cakekindel / slack-blocks-rs

  View on GitHub
  slack messages at warp speed!
  ☆16Aug 29, 2023Updated 2 years ago
• aigarashi / copl-tools

  View on GitHub
  tools for the book "Concepts of Programming Languages"
  ☆20Jan 1, 2026Updated last month
• ruzickap / action-my-markdown-link-checker

  View on GitHub
  A GitHub Action for checking broken links in Markdown files
  ☆20Feb 8, 2026Updated last week
• lemolatoon / toy-shakyo

  View on GitHub
  ☆15Jan 1, 2024Updated 2 years ago