Desafio para desenvolvedores Oliveira Trust
☆24Sep 9, 2024Updated last year
Alternatives and similar repositories for desafio-desenvolvedor
Users that are interested in desafio-desenvolvedor are comparing it to the libraries listed below
Sorting:
- The desktop wallet of Constellation Network aka. Molly Wallet.☆12Sep 24, 2022Updated 3 years ago
- Evitando burocracia para soltar primeiro projeto simples☆15Updated this week
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Gerando QRCode com Python☆10Jul 5, 2024Updated last year
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- Emulate the AWS IoT Button on a Raspberry Pi with a simple push button using this C++ sample☆10Sep 16, 2016Updated 9 years ago
- ☆14Feb 26, 2026Updated last week
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- ☆13Jul 10, 2024Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- ☆16Nov 20, 2024Updated last year
- Some quines in the Go programming language☆15Mar 8, 2023Updated 3 years ago
- 🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.☆19Sep 22, 2025Updated 5 months ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated last month
- Ferramenta Python com foco na geração de trabalhos acadêmicos em PDF.☆16Oct 8, 2025Updated 5 months ago
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- ☆10Dec 24, 2023Updated 2 years ago
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 10 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- An easy emoji plugin for vim written in vim9script☆10Feb 15, 2026Updated 3 weeks ago
- Integration of opentelemetry with the tracing crate☆24Mar 1, 2026Updated last week
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 4 years ago
- ☆12Oct 7, 2019Updated 6 years ago
- USP Game Development Kit or USPGameDev Kit =D☆18Jun 15, 2018Updated 7 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- ☆19Nov 5, 2025Updated 4 months ago
- ☆29Dec 15, 2025Updated 2 months ago
- ☆12Dec 19, 2020Updated 5 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Spy Cli☆16Jan 25, 2022Updated 4 years ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- ☆12Oct 14, 2021Updated 4 years ago
- ☆12Nov 21, 2016Updated 9 years ago
- A P model of durable Promises☆14Oct 6, 2023Updated 2 years ago
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆29Updated this week
- Semantic analysis engine for detecting vulnerability fixes in Windows kernel driver patches — 58 YAML rules, Ghidra decompilation, reacha…☆57Feb 26, 2026Updated last week