Oliveira-Trust / desafio-desenvolvedorView external linksLinks
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:
- ☆13Jul 10, 2024Updated last year
- Gerando QRCode com Python☆10Jul 5, 2024Updated last year
- Docker images for Laravel Applications☆11Oct 7, 2016Updated 9 years ago
- Context Logger for Golang☆23Oct 31, 2025Updated 3 months ago
- ☆14Oct 16, 2025Updated 4 months ago
- ☆28Dec 15, 2025Updated 2 months ago
- ☆13Feb 3, 2026Updated last week
- ☆18Nov 5, 2025Updated 3 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- ☆16Nov 20, 2024Updated last year
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 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
- Integration of opentelemetry with the tracing crate☆24Feb 1, 2026Updated 2 weeks ago
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- ☆12Oct 7, 2019Updated 6 years ago
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 9 months ago
- Cockcroft Headroom Plot (chp) in R☆10Sep 23, 2016Updated 9 years ago
- Golang goroutines synchronization primitive wihout extra dependencies☆14Nov 8, 2024Updated last year
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 4 years ago
- Automatic identification of regions in the latent space of a model that correspond to unique concepts, namely to concepts with a semantic…☆14Nov 22, 2023Updated 2 years ago
- A P model of durable Promises☆14Oct 6, 2023Updated 2 years ago
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆28Feb 7, 2026Updated last week
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Stochastic trace estimation using JAX☆17Aug 20, 2025Updated 5 months ago
- ProxiedMail Laravel Client that provides the ability to receive emails contents in your app and create proxy-emails☆15Apr 22, 2024Updated last year
- ☆12Oct 14, 2021Updated 4 years ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- MCP server to control Philips Hue lights, including sending Morse code through them☆21Mar 20, 2025Updated 10 months ago
- L1TTLE PAWS - Arcade physics platformer with procedural art and levels for JS13K!☆23Jan 18, 2026Updated 3 weeks ago
- ☆30Jun 6, 2025Updated 8 months ago
- This is material written for the masterclass Numerical and Analytical Methods for Spatially-Extended Neurobiological Networks, held at th…☆19May 23, 2024Updated last year
- ☆17May 15, 2024Updated last year
- Basic functionality for working with localizations☆13Jan 16, 2026Updated last month
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago