LQDJudge / online-judgeView external linksLinks
LQD Online Judge
☆87Feb 8, 2026Updated last week
Alternatives and similar repositories for online-judge
Users that are interested in online-judge are comparing it to the libraries listed below
Sorting:
- Specs of the problem.xml format for competitive programming judge systems☆21Nov 1, 2022Updated 3 years ago
- A modern open-source online judge and contest platform system.☆1,146Feb 9, 2026Updated last week
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆39Feb 7, 2026Updated last week
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- HTML & CSS Tips and Tricks☆14Jul 10, 2024Updated last year
- Simple Typescript/Javascript framework for DOM manipulation☆15Aug 25, 2022Updated 3 years ago
- Cx is now called Neat. https://github.com/neat-lang/neat☆10Jul 15, 2021Updated 4 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- The Lily programming language ⚜☆10Jan 4, 2026Updated last month
- ⚙️ Java vs Kotlin comparison (CLBG benchmarks and static bytecode analysis) ⚙️☆10Jun 27, 2019Updated 6 years ago
- Task translation system for IOI☆10Aug 6, 2025Updated 6 months ago
- Infer the Request IP (or IPs if behind a proxy) based on custom headers☆11Feb 1, 2026Updated 2 weeks ago
- Dynamically typed interpreted programming language written in Rust☆10Feb 3, 2026Updated last week
- A programming language.☆12Aug 4, 2025Updated 6 months ago
- My toy programming languages☆42Jan 7, 2023Updated 3 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- EF Core vs Dapper benchmarks☆10Nov 13, 2019Updated 6 years ago
- kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.☆11Jan 1, 2023Updated 3 years ago
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- a colection of tonemappers for you to plug in your game and use☆13Feb 26, 2025Updated 11 months ago
- RML language☆10Sep 25, 2020Updated 5 years ago
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- Fast, reliable, and scalable channels implementation based on Redis streams.☆11Jun 25, 2024Updated last year
- track your OI preparation!☆16Jan 27, 2023Updated 3 years ago
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Feb 1, 2026Updated 2 weeks ago
- Play music together via YouTube and WebRTC☆12Apr 21, 2022Updated 3 years ago
- ☆13May 6, 2024Updated last year
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Quick and dirty DOM manipulation.☆11Oct 16, 2021Updated 4 years ago
- Run Scratch from command line☆14Jan 20, 2024Updated 2 years ago
- ☆12Jan 22, 2026Updated 3 weeks ago
- An open source stenographic theory that emphasises writing short.☆11Nov 9, 2025Updated 3 months ago
- ☆10May 10, 2019Updated 6 years ago
- An experimental general-purpose programming language☆10Apr 27, 2024Updated last year
- Programmable music! A compiler and high level language.☆12Jul 19, 2025Updated 6 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago