Makes Valgrind output readable for human beings
☆26Sep 20, 2021Updated 5 years ago
Alternatives and similar repositories for valgreen
Users that are interested in valgreen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mapa de materias y sus correlativas de la Facultad de Ingeniería☆165Aug 31, 2026Updated 3 weeks ago
- Organizador de horarios de la Facultad de Ingenieria☆54Updated this week
- Play chess games inside Github issues!☆14Mar 15, 2023Updated 3 years ago
- Sitio web de la materia Algoritmos y Programación II☆16Sep 10, 2026Updated 2 weeks ago
- Guía de ejercicios 66.70 Estructura del Computador. Facultad de Ingeniería, Universidad de Buenos Aires☆10Apr 1, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass☆15Feb 8, 2023Updated 3 years ago
- ☆10Sep 5, 2023Updated 3 years ago
- Aleo's Minimum Anti-Collusion Infrastructure / MACI☆13Aug 3, 2022Updated 4 years ago
- Sencillísima colección de repositorios de cualquier tipo de cursada en FIUBA (TPs/Parciales/Finales/etc)☆27Jul 26, 2026Updated 2 months ago
- Cross platform maps for react & react-native 🗺☆74Nov 11, 2024Updated last year
- Mutation Testing in Pharo Smalltalk☆26Updated this week
- ☆13Jun 11, 2024Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Jul 18, 2026Updated 2 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Tile38 client in rust!☆15Aug 9, 2017Updated 9 years ago
- Artemis is a GraphQL client for Rust inspired by Apollo Client and urql☆11Jan 5, 2023Updated 3 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 3 years ago
- Rust bindings to MinHook.☆14Jan 17, 2021Updated 5 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 3 years ago
- Monte Carlo Simulation and Business Analysis tools for Julia☆18Dec 8, 2025Updated 9 months ago
- Anonymity Research Tools for TCash Users☆17Feb 8, 2022Updated 4 years ago
- Unofficial IntelliJ plugin for Mozilla's UniFFI Definition Language (UDL)☆14Feb 9, 2026Updated 7 months ago
- React Native UI Kit☆14Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 7 years ago
- Proof system with plonkup back-end proving arguments☆14Jun 16, 2022Updated 4 years ago
- ☆16Nov 9, 2025Updated 10 months ago
- Secure and optimized communication layer for rollups using EigenDA.☆22Jul 23, 2025Updated last year
- Easily bring animations and gesture-enabled navigation to your React Native app built with React Router.☆18Jan 5, 2022Updated 4 years ago
- An embedded-nal implementation for smoltcp☆26Apr 8, 2026Updated 5 months ago
- Drizzle to Effect Schema Generator☆17Jun 3, 2025Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Based OP stack☆29Jan 7, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Supercharge your SST deployments☆23Dec 17, 2024Updated last year
- ☆25Jan 13, 2025Updated last year
- Repo that contains all changes to Cuis for teaching purposes and dependencies with other packages☆22Sep 11, 2026Updated 2 weeks ago
- A simple (or advanced - it's your choice) utility to paginate discord embeds. Configure, customise, and control!☆10Sep 30, 2022Updated 3 years ago
- Some helper functions to allow writing to flash from an rp2040 firmware.☆18Feb 16, 2025Updated last year
- ☆25Aug 14, 2026Updated last month
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Dec 22, 2023Updated 2 years ago