traO Judge ジャッジ
☆10Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for traO-Judge-judge
Users that are interested in traO-Judge-judge are comparing it to the libraries listed below
Sorting:
- traO Judge ドキュメント☆12Feb 18, 2026Updated 2 weeks ago
- k8s manifests ☸ for traP services☆11Updated this week
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 2 months ago
- NixOS & Flakesについて詳しくなりたいですよね? 初心者向けチュートリアルを探してますか? 今すぐアクセス!☆23Feb 10, 2026Updated 3 weeks ago
- MCP Server for controlling SVAKOM SAM NEO, a Buttplug compatible masturbator☆26Dec 11, 2025Updated 2 months ago
- 東京工業大学 traP Kaggle班「機械学習講習会」の資料☆104Aug 6, 2024Updated last year
- A Java Entity-Component-System game engine.☆11Dec 24, 2019Updated 6 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- The Terminus font converted to freebsd vt (console only)☆14Mar 31, 2021Updated 4 years ago
- ☆10May 27, 2023Updated 2 years ago
- 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 last month
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆12Aug 21, 2024Updated last year
- ☆11Dec 27, 2024Updated last year
- BEAT☆MUSIC☆SEQUENCE: Open-Source HTML5 BMS Player using SoundJS and Pixi.js☆17Mar 27, 2014Updated 11 years ago
- A tiny Lua based pixel/chiptune engine☆12Nov 22, 2017Updated 8 years ago
- Scala-to-Minecraft testing framework.☆16Mar 2, 2026Updated last week
- A spinney little browser universe using WebVR(A-frame), Web Workers, WebAssembly, and AssemblyScript☆13Aug 19, 2021Updated 4 years ago
- Voice synthesis library for Text-to-Speech applications (Currently HTS Engine rewrite in Rust language)☆13Mar 1, 2026Updated last week
- A Gleam terminal UI library☆10Dec 8, 2024Updated last year
- RFC6455 (The Websocket Protocol) protocol stack.☆11Dec 8, 2025Updated 3 months ago
- A simple MPD server running Spotify☆10May 8, 2021Updated 4 years ago
- Dynamically rendered wallpaper for Wayland powered by shader technology☆17Oct 23, 2025Updated 4 months ago
- Gleam bindings to Ink, a library for building terminal UIs.☆11Sep 12, 2025Updated 5 months ago
- Pretty printer and Common Lisp format function for Clojure☆25Aug 5, 2021Updated 4 years ago
- A Gleam mathematics and statistics library.☆12Nov 16, 2022Updated 3 years ago
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Feb 28, 2026Updated last week
- 短期間でWebアプリを開発する際のバックエンドのGo実装例☆14Mar 1, 2026Updated last week
- Write scripts in compiled languages that run in the Nix ecosystem, without separate build step☆16Oct 8, 2025Updated 5 months ago
- 月一授業企画「すごいIT！」(仮)のリポジトリです。☆13May 14, 2024Updated last year
- ☆11Updated this week
- Extempore / Scheme code for live musical programming☆14Mar 17, 2025Updated 11 months ago
- A tool to bridge the gap between asdf and Nix users.☆15Sep 6, 2025Updated 6 months ago
- Pseudo-3D first-person shooter written in AWK☆11Dec 20, 2024Updated last year
- 日本語標準 Typst 用テンプレート☆11Mar 23, 2025Updated 11 months ago
- Esdl is a legacy library for accessing SDL and OpenGL from Erlang. (New applications are better off using wx in Erlang/OTP R13B.)☆15Sep 20, 2013Updated 12 years ago
- Sound synthesis library for Common Lisp based on CLM-5☆12Aug 15, 2023Updated 2 years ago
- 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