Alternatives and similar repositories for mystical_ps

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

• t3tra-dev / jvm-pybind

  View on GitHub
  JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).
  ☆15Jul 19, 2025Updated 6 months ago
• aartaka / lamber

  View on GitHub
  A functional scripting language compiling to pure Lambda Calculus
  ☆33Nov 25, 2025Updated 2 months ago
• osafune / canarium_air

  View on GitHub
  IntelFPGA configuration & Avalon-MM access library for FlashAir
  ☆12Aug 6, 2019Updated 6 years ago
• t3tra-dev / tcp-ip

  View on GitHub
  TCP/IP Stack in Python
  ☆21Jun 15, 2025Updated 8 months ago
• usagrada / satysfi-formatter

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 8 months ago
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆36Oct 1, 2023Updated 2 years ago
• videolang / interactive-syntax

  View on GitHub
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Dec 5, 2020Updated 5 years ago
• Ikagaka / Ikagaka.demo

  View on GitHub
  Ikagaka demo
  ☆29Nov 29, 2018Updated 7 years ago
• ryota-ka / dotfiles

  View on GitHub
  My configuration files
  ☆18Jan 3, 2024Updated 2 years ago
• silversquirl / chip8

  View on GitHub
  A terminal-based, JIT-compiled CHIP-8 VM in Zig
  ☆15Aug 15, 2023Updated 2 years ago
• michaelballantyne / syntax-spec

  View on GitHub
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆40Oct 14, 2025Updated 4 months ago
• dd86k / alicedbg

  View on GitHub
  🎯 Cross-platform Debugger and Memory Scanner
  ☆37Updated this week
• sile / erlls

  View on GitHub
  Erlang language server
  ☆25Dec 2, 2025Updated 2 months ago
• ActiveTK / gff

  View on GitHub
  「消せないファイル」を消すプログラムです。
  ☆162Apr 4, 2025Updated 10 months ago
• t3tra-dev / WebVM

  View on GitHub
  ブラウザ上に実装された POSIX 準拠の最小 UNIX 互換 OS
  ☆31Jun 21, 2025Updated 7 months ago
• kanadelab / Satolist2

  View on GitHub
  里々ゴーストエディタ「さとりすと」 ver2
  ☆25Aug 6, 2025Updated 6 months ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• summerwind / gptask

  View on GitHub
  Performs tasks together with GPT.
  ☆13Apr 4, 2023Updated 2 years ago
• tako0614 / yurucommu

  View on GitHub
  web自主用分散型SNS「yurucommu」
  ☆51Feb 8, 2026Updated last week
• mojyack / mikan

  View on GitHub
  A Japanese input method.
  ☆24Jun 27, 2025Updated 7 months ago
• Byron / tui-crates

  View on GitHub
  Various crates related to handling terminal user interfaces
  ☆26Jan 8, 2026Updated last month
• enunun / introductiontomathmaticallogic

  View on GitHub
  ☆37Jun 11, 2025Updated 8 months ago
• ararslan / julia-rs

  View on GitHub
  Call Julia from Rust
  ☆16Dec 8, 2016Updated 9 years ago
• gpeyre / InfiniteZoom

  View on GitHub
  Code to generate an infinite zoom animation.
  ☆11Nov 9, 2023Updated 2 years ago
• kibousoft / mastodon

  View on GitHub
  Customized Mastodon
  ☆11Aug 22, 2018Updated 7 years ago
• koki-develop / Koto

  View on GitHub
  IME for Mac.
  ☆10Dec 19, 2025Updated last month
• alainsaas / wenyan

  View on GitHub
  ☆10Mar 1, 2020Updated 5 years ago
• YutoriSpine / pray

  View on GitHub
  ☆12Nov 5, 2024Updated last year
• DaelonSuzuka / DiagraphSubmodule

  View on GitHub
  ☆11Mar 14, 2023Updated 2 years ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• dardoria / ponon

  View on GitHub
  Common Lisp library for creative coding.
  ☆13Aug 7, 2013Updated 12 years ago
• pnsk-lab / hikkaku

  View on GitHub
  TypeScript で Scratch プロジェクトを記述する意味わからんやつ
  ☆16Jan 21, 2026Updated 3 weeks ago
• false-schemers / skint

  View on GitHub
  Cheap and fast R7RS Scheme interpreter
  ☆90Dec 15, 2025Updated 2 months ago
• kimushun1101 / typst-jaconf

  View on GitHub
  Typst で日本語論文を書くときのテンプレート
  ☆161Jan 22, 2026Updated 3 weeks ago
• hutinoatari / cheapTransfer

  View on GitHub
  最安経路を教えてくれるWEBアプリ
  ☆76May 10, 2025Updated 9 months ago
• aconite-ac / theorem_proving_in_lean4

  View on GitHub
  Theorem Proving in Lean 4 日本語訳
  ☆17Jan 11, 2025Updated last year
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Updated this week
• llminatoll / live2d_wakaba

  View on GitHub
  わかばちゃんのLive2Dモデルです。個人の学習用途としてのみ利用可能です。
  ☆13Jan 24, 2019Updated 7 years ago