LQD Online Judge
☆87Mar 3, 2026Updated this week
Alternatives and similar repositories for online-judge
Users that are interested in online-judge are comparing it to the libraries listed below
Sorting:
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆40Updated this week
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 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 9 months ago
- PHPSpec is the best test framework that you likely haven't used. That just might change after watching this video, though. It's excellent…☆15Jan 31, 2014Updated 12 years ago
- A programming language where the action occurs between the lines of code☆11Jun 15, 2020Updated 5 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
- Dynamically typed interpreted programming language written in Rust☆11Feb 3, 2026Updated last month
- Simple Typescript/Javascript framework for DOM manipulation☆15Aug 25, 2022Updated 3 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- ⚙️ Java vs Kotlin comparison (CLBG benchmarks and static bytecode analysis) ⚙️☆10Jun 27, 2019Updated 6 years ago
- An object-oriented language targeting the Neko VM☆11Jul 3, 2021Updated 4 years ago
- My toy programming languages☆42Jan 7, 2023Updated 3 years ago
- The Lily programming language ⚜☆10Jan 4, 2026Updated 2 months ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- ☆10May 10, 2019Updated 6 years ago
- Programmable music! A compiler and high level language.☆12Jul 19, 2025Updated 7 months ago
- A Rust app to track Sidekiq enqueued & processed jobs in Datadog☆13Jan 9, 2020Updated 6 years ago
- ☆14Updated this week
- ☆24May 21, 2025Updated 9 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Fast, reliable, and scalable channels implementation based on Redis streams.☆11Jun 25, 2024Updated last year
- ☆15Feb 15, 2026Updated 3 weeks ago
- a simple brainfuck interpreter written in porth.☆15Oct 13, 2021Updated 4 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- A dynamic programming language designed to feel familiar and be fun to use, written in Rust☆11Sep 10, 2022Updated 3 years ago
- ☆12Nov 10, 2025Updated 3 months ago
- Element is an embeddable minimal functional programming language intended as a data format.☆13Feb 13, 2023Updated 3 years ago
- Quick and dirty DOM manipulation.☆11Oct 16, 2021Updated 4 years ago
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- ☆12Jan 22, 2026Updated last month
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 2 months ago
- A small Lisp dialect that serves me as a test bed for programming language features.☆14Sep 16, 2024Updated last year
- a language acceptor for the JavaScript Pattern (regular expression internals) grammar☆16Apr 27, 2022Updated 3 years ago
- GrpcDemo for ASP.NET Core JetBrains Post☆12Jul 19, 2021Updated 4 years ago
- Add X-Response-Time header at each request (in ms) for Fastify☆17Feb 13, 2026Updated 3 weeks ago