URI Online Judge Solutions
☆17Oct 4, 2018Updated 7 years ago
Alternatives and similar repositories for uri
Users that are interested in uri are comparing it to the libraries listed below
Sorting:
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 8 months ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- My Python 3 solutions for URI online judge (https://www.urionlinejudge.com.br/).☆44Nov 22, 2021Updated 4 years ago
- Minhas soluções aceitas no URI Online Judge☆10Dec 1, 2017Updated 8 years ago
- A fast semver parser and comparator based on rust semver.☆13Apr 2, 2023Updated 2 years ago
- ☆11Jun 18, 2018Updated 7 years ago
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- User payments and subscriptions for Django☆14Dec 8, 2022Updated 3 years ago
- ☆16Nov 10, 2025Updated 3 months ago
- TUI client for euphoria.leet.nu, a threaded real-time chat platform☆10Jun 28, 2025Updated 8 months ago
- A basic dotnet core API URL shortener☆13Mar 28, 2019Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- Minimal examples of crates useful for compiler development☆25Feb 2, 2026Updated last month
- The Sherwood Architecture is a custom 64-Bit RISC based CPU architecture.☆15Oct 29, 2018Updated 7 years ago
- ☆37Aug 24, 2025Updated 6 months ago
- A Mips interpreter of sorts.☆14Nov 19, 2024Updated last year
- A Django setup project with bootstrap and font-awesome integrated☆15Apr 21, 2023Updated 2 years ago
- A fun gdb frontend!☆13Aug 8, 2021Updated 4 years ago
- A curated lists of self-taught materials including research blogs☆16Dec 12, 2016Updated 9 years ago
- ☆18Aug 6, 2025Updated 7 months ago
- CS316 "Functional Programming" lecture notes☆22Jan 29, 2026Updated last month
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆17Aug 8, 2024Updated last year
- Generate API documentation straight into the Readme file from TypeScript typings☆21May 21, 2025Updated 9 months ago
- Inspector Protocol made easy☆19Jun 7, 2025Updated 9 months ago
- RISC-V assembler/simulator with GUI☆14Jul 31, 2022Updated 3 years ago
- A Serverless framework plugin for Rust applications☆16Jul 28, 2023Updated 2 years ago
- Computer Vision with Ray Tracing☆18Feb 1, 2026Updated last month
- Performance comparison between COPY and INSERT using Bunjs and Postgres16☆16Oct 2, 2023Updated 2 years ago
- Simple Application Sandboxing☆23Aug 9, 2024Updated last year
- URI Online Judge | Solutions☆49May 26, 2024Updated last year
- An MLIR-based source-to-source automatic differentiation system.☆15Mar 30, 2023Updated 2 years ago
- Node.js Download Statistics☆16Feb 13, 2026Updated 3 weeks ago
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆15Dec 20, 2024Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- A Python interface to Looker API☆15Jun 21, 2018Updated 7 years ago
- A benchmark game for guessing the hottest point of a program☆17Feb 24, 2026Updated last week
- A lightweight tool for writing clean and succinct, end-to-end type-safe HTTP APIs with NestJS that encourages the REPR design pattern, co…☆25Jan 18, 2026Updated last month
- better handling of multiple applications dotenv files in monorepos☆19Aug 3, 2023Updated 2 years ago
- A library for code transformations with guaranteed legality☆18Updated this week