traP-jp / traO-Judge-judgeView external linksLinks
traO Judge ジャッジ
☆10Updated this week
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 ドキュメント☆13Feb 3, 2026Updated last week
- k8s manifests ☸ for traP services☆11Updated this week
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆55Dec 15, 2025Updated 2 months ago
- NixOS & Flakesについて詳しくなりたいですよね? 初心者向けチュートリアルを探してますか? 今すぐアクセス!☆23Feb 10, 2026Updated last week
- 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
- ☆10May 27, 2023Updated 2 years ago
- A Gleam mathematics and statistics library.☆12Nov 16, 2022Updated 3 years ago
- An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs.☆22Jul 31, 2025Updated 6 months ago
- Dynamically rendered wallpaper for Wayland powered by shader technology☆17Oct 23, 2025Updated 3 months ago
- A Gleam terminal UI library☆10Dec 8, 2024Updated last year
- A spinney little browser universe using WebVR(A-frame), Web Workers, WebAssembly, and AssemblyScript☆13Aug 19, 2021Updated 4 years ago
- ☆11Dec 27, 2024Updated last year
- A tiny Lua based pixel/chiptune engine☆12Nov 22, 2017Updated 8 years ago
- a very very wip query builder for gleam☆10Mar 21, 2024Updated last year
- RFC6455 (The Websocket Protocol) protocol stack.☆11Dec 8, 2025Updated 2 months ago
- ASDF extension to provide support for file-local variables☆10Jan 5, 2024Updated 2 years ago
- A simple MPD server running Spotify☆10May 8, 2021Updated 4 years ago
- Gleam bindings to Ink, a library for building terminal UIs.☆11Sep 12, 2025Updated 5 months ago
- Interpreter for my esolang☆11Aug 15, 2022Updated 3 years ago
- [⚠️ WIP] ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Oct 28, 2025Updated 3 months ago
- Voice synthesis library for Text-to-Speech applications (Currently HTS Engine rewrite in Rust language)☆13Updated this week
- BEAT☆MUSIC☆SEQUENCE: Open-Source HTML5 BMS Player using SoundJS and Pixi.js☆17Mar 27, 2014Updated 11 years ago
- ☆12Aug 21, 2024Updated last year
- DateTime package for Lean 4☆17Feb 28, 2024Updated last year
- 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
- Scala-to-Minecraft testing framework.☆16Feb 4, 2026Updated last week
- Pretty printer and Common Lisp format function for Clojure☆25Aug 5, 2021Updated 4 years ago
- Sound synthesis library for Common Lisp based on CLM-5☆12Aug 15, 2023Updated 2 years ago
- zig bare-metal vector table stack☆14Mar 15, 2025Updated 11 months ago
- 短期間でWebアプリを開発する際のバックエンドのGo実装例☆14Dec 6, 2025Updated 2 months ago
- Write scripts in compiled languages that run in the Nix ecosystem, without separate build step☆16Oct 8, 2025Updated 4 months ago
- Vim plugin integrating the Yazi file manager for seamless in-editor file browsing and navigation.☆16Jul 29, 2025Updated 6 months ago
- ☆11Mar 16, 2021Updated 4 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
- 数値が偶数かどうかを判定する革新的なライブラリです。奇数の場合は、言い分を述べることで、偶数の概念を超越した解釈を提供します。☆16Feb 9, 2026Updated last week
- BLAS/LAPACK bindings for .NET (OpenBLAS, MKL, Apple Accelerate)☆14Jul 19, 2025Updated 6 months ago