Alternatives and similar repositories for traO-Judge-judge

Users that are interested in traO-Judge-judge are comparing it to the libraries listed below

• traP-jp / traO-Judge-docs

  View on GitHub
  traO Judge ドキュメント
  ☆13Feb 3, 2026Updated last week
• traPtitech / manifest

  View on GitHub
  k8s manifests ☸ for traP services
  ☆11Updated this week
• lapisla-prover / lapisla-prover

  View on GitHub
  lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋
  ☆55Dec 15, 2025Updated 2 months ago
• MaebashiRamens / nixos-and-flakes-book-ja

  View on GitHub
  NixOS & Flakesについて詳しくなりたいですよね? 初心者向けチュートリアルを探してますか? 今すぐアクセス!
  ☆23Feb 10, 2026Updated last week
• Kyure-A / mcp-svakom-samneo

  View on GitHub
  MCP Server for controlling SVAKOM SAM NEO, a Buttplug compatible masturbator
  ☆26Dec 11, 2025Updated 2 months ago
• abap34 / ml-lecture

  View on GitHub
  東京工業大学 traP Kaggle班「機械学習講習会」の資料
  ☆104Aug 6, 2024Updated last year
• klavinski / jecs

  View on GitHub
  A Java Entity-Component-System game engine.
  ☆11Dec 24, 2019Updated 6 years ago
• skypher / blackthorn

  View on GitHub
  2D game engine for Common Lisp
  ☆12Jun 5, 2012Updated 13 years ago
• bea4dev / Parallel

  View on GitHub
  ☆10May 27, 2023Updated 2 years ago
• NicklasXYZ / gleam_stats

  View on GitHub
  A Gleam mathematics and statistics library.
  ☆12Nov 16, 2022Updated 3 years ago
• nuskey8 / docs-rs-mcp

  View on GitHub
  An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs.
  ☆22Jul 31, 2025Updated 6 months ago
• comavius / wayggle-bg

  View on GitHub
  Dynamically rendered wallpaper for Wayland powered by shader technology
  ☆17Oct 23, 2025Updated 3 months ago
• rawhat / glerm

  View on GitHub
  A Gleam terminal UI library
  ☆10Dec 8, 2024Updated last year
• MichaelJCole / n-body-wasm-webvr

  View on GitHub
  A spinney little browser universe using WebVR(A-frame), Web Workers, WebAssembly, and AssemblyScript
  ☆13Aug 19, 2021Updated 4 years ago
• nakkag / nPOP

  View on GitHub
  ☆11Dec 27, 2024Updated last year
• kieselsteini / PiXL-old

  View on GitHub
  A tiny Lua based pixel/chiptune engine
  ☆12Nov 22, 2017Updated 8 years ago
• brunoti / kreator

  View on GitHub
  a very very wip query builder for gleam
  ☆10Mar 21, 2024Updated last year
• Hakkadaikon / websocket

  View on GitHub
  RFC6455 (The Websocket Protocol) protocol stack.
  ☆11Dec 8, 2025Updated 2 months ago
• didierverna / asdf-flv

  View on GitHub
  ASDF extension to provide support for file-local variables
  ☆10Jan 5, 2024Updated 2 years ago
• faejr / spotify-mpd

  View on GitHub
  A simple MPD server running Spotify
  ☆10May 8, 2021Updated 4 years ago
• Massolari / pink

  View on GitHub
  Gleam bindings to Ink, a library for building terminal UIs.
  ☆11Sep 12, 2025Updated 5 months ago
• olus2000 / toki-pi-ilo-nanpa

  View on GitHub
  Interpreter for my esolang
  ☆11Aug 15, 2022Updated 3 years ago
• abap34 / almo

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

  View on GitHub
  Voice synthesis library for Text-to-Speech applications (Currently HTS Engine rewrite in Rust language)
  ☆13Updated this week
• spacetme / bms

  View on GitHub
  BEAT☆MUSIC☆SEQUENCE: Open-Source HTML5 BMS Player using SoundJS and Pixi.js
  ☆17Mar 27, 2014Updated 11 years ago
• sstelfox / bevy_tui

  View on GitHub
  ☆12Aug 21, 2024Updated last year
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆17Feb 28, 2024Updated last year
• gunzip / apical-ts

  View on GitHub
  Generates fully-typed Zod v4 schemas and type-safe TypeScript REST API clients and server from OpenAPI 2.0, 3.0.x, and 3.1.x specificatio…
  ☆14Jan 25, 2026Updated 3 weeks ago
• kory33 / s2mc-test

  View on GitHub
  Scala-to-Minecraft testing framework.
  ☆16Feb 4, 2026Updated last week
• tomfaulhaber / cl-format

  View on GitHub
  Pretty printer and Common Lisp format function for Clojure
  ☆25Aug 5, 2021Updated 4 years ago
• theraphonics / common-tones

  View on GitHub
  Sound synthesis library for Common Lisp based on CLM-5
  ☆12Aug 15, 2023Updated 2 years ago
• markfirmware / zig-vector-table

  View on GitHub
  zig bare-metal vector table stack
  ☆14Mar 15, 2025Updated 11 months ago
• ras0q / go-backend-template

  View on GitHub
  短期間でWebアプリを開発する際のバックエンドのGo実装例
  ☆14Dec 6, 2025Updated 2 months ago
• dschrempf / nix-script

  View on GitHub
  Write scripts in compiled languages that run in the Nix ecosystem, without separate build step
  ☆16Oct 8, 2025Updated 4 months ago
• yukimura1227 / vim-yazi

  View on GitHub
  Vim plugin integrating the Yazi file manager for seamless in-editor file browsing and navigation.
  ☆16Jul 29, 2025Updated 6 months ago
• drzel / vim-gui-zoom

  View on GitHub
  ☆11Mar 16, 2021Updated 4 years ago
• goertzenator / rebar3_rust

  View on GitHub
  Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.
  ☆10Sep 26, 2018Updated 7 years ago
• ryoppippi / is-iibun

  View on GitHub
  数値が偶数かどうかを判定する革新的なライブラリです。奇数の場合は、言い分を述べることで、偶数の概念を超越した解釈を提供します。
  ☆16Feb 9, 2026Updated last week
• nuskey8 / BlasSharp

  View on GitHub
  BLAS/LAPACK bindings for .NET (OpenBLAS, MKL, Apple Accelerate)
  ☆14Jul 19, 2025Updated 6 months ago