☆36Aug 24, 2025Updated 7 months ago
Alternatives and similar repositories for CIN0135-20251
Users that are interested in CIN0135-20251 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆11Jul 5, 2025Updated 9 months ago
- ☆14Jul 22, 2024Updated last year
- Tire uma foto do gabarito de cada estudante e obtenha a correção de maneira automática☆10Mar 31, 2023Updated 3 years ago
- CVE-2024-38063 is a critical security vulnerability in the Windows TCP/IP stack that allows for remote code execution (RCE)☆39Dec 10, 2025Updated 4 months ago
- Play on a pseudo Piano and create your arduino code lively. Use it on a buzzer.☆15Oct 3, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Algorithms and such☆81May 4, 2025Updated 11 months ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- test to using the API proxy server template >> https://github.com/maykbrito/ts-proxy-server☆23Oct 31, 2021Updated 4 years ago
- Simple Application Sandboxing☆23Aug 9, 2024Updated last year
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 3 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- A curated lists of self-taught materials including research blogs☆16Dec 12, 2016Updated 9 years ago
- experimental emulator for Psion Series 5mx (Windermere)☆93Dec 26, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Updated this week
- RISC-V assembler/simulator with GUI☆14Jul 31, 2022Updated 3 years ago
- CS316 "Functional Programming" lecture notes☆21Jan 29, 2026Updated 2 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 7 months ago
- TUI client for euphoria.leet.nu, a threaded real-time chat platform (mirror of https://git.plugh.de/Garmelon/cove)☆10Mar 19, 2026Updated last month
- ☆16Aug 6, 2025Updated 8 months ago
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- A fun gdb frontend!☆13Aug 8, 2021Updated 4 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆17Aug 8, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Use Flutter_web💪 to implement the UI challenge of protfolio on uplabs.☆15Jun 9, 2019Updated 6 years ago
- WCC C Compiler for x86_64 Linux☆22Apr 12, 2026Updated last week
- Mapeamento das comunidades de tecnologia mais arretadas do estado de Pernambuco - Brasil☆46Nov 3, 2022Updated 3 years ago
- Heavyweight Python dynamic analysis framework☆17Apr 17, 2024Updated 2 years ago
- Clone of the LLVM project with MLIR repo integrated as a top-level subproject☆12Dec 11, 2022Updated 3 years ago
- Um gerenciador de chat no Google Meet☆11Nov 12, 2021Updated 4 years ago
- A C# parser combinator library☆19Dec 24, 2020Updated 5 years ago
- ☆26Feb 5, 2026Updated 2 months ago
- A benchmark game for guessing the hottest point of a program☆17Feb 24, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library for code transformations with guaranteed legality☆18Apr 10, 2026Updated last week
- A memory allocator verified with Verus☆33Feb 18, 2026Updated 2 months ago
- Library for the generation and optimization of domain-specific laser pattern for single-shot structured light 3D reconstruction tasks.☆16Dec 20, 2024Updated last year
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- A basic Monte Carlo raytracer in python☆25Sep 11, 2024Updated last year
- Game Engine focused on finding expressive but simple ways to build any game☆22Sep 5, 2022Updated 3 years ago
- Repositório da disciplina de Engenharia de Software voltada ao curso de Sistemas de Informação.☆129Nov 27, 2025Updated 4 months ago