☆26Oct 1, 2023Updated 2 years ago
Alternatives and similar repositories for grothendieck
Users that are interested in grothendieck are comparing it to the libraries listed below
Sorting:
- Linux open by handle based VFS implementation for nfs4j☆13Updated this week
- Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School☆16Aug 8, 2025Updated 7 months ago
- Automatically set git config properties in local repository based on remote URL☆15Oct 25, 2021Updated 4 years ago
- Load data into wikibase☆10Nov 20, 2018Updated 7 years ago
- my java class parser to parse classfile. In fact, it's a component of my wind_jvm.☆13Dec 18, 2022Updated 3 years ago
- lots of mini experiments in various languages☆46Oct 30, 2025Updated 4 months ago
- Trading signals processing solution that supports signals filtering and posting to broker or exchanges that are not integrated into your …☆10May 9, 2021Updated 4 years ago
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 4 years ago
- PACT Agent Collaboration Layer☆15Feb 26, 2026Updated last week
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- The best calendar table you'll ever find! Generate a calendar table with many columns of date dimensions and metadata. Output to datafra…☆12Jun 8, 2023Updated 2 years ago
- 🧙♂️✨ Covenants protocol helps Contracts, Organizations (DFOs, DAOs), or regular people to build and manage cross AMMs financial applica…☆11Apr 24, 2024Updated last year
- ☆14Sep 21, 2022Updated 3 years ago
- Make your own CLIMATECLOCK with off-the-shelf parts.☆13Apr 26, 2021Updated 4 years ago
- Colour Me Cards are your classic holiday cards, with a modern twist.☆15Dec 24, 2018Updated 7 years ago
- A watcher for contributors to various projects.☆10Sep 13, 2021Updated 4 years ago
- Middleware and Browserify transform for less files☆12Dec 3, 2025Updated 3 months ago
- JavaScript French revolutionary calendar library☆10Jan 27, 2015Updated 11 years ago
- Solidity contracts for Endaoment's on-chain Donor-Advised Fund☆14Feb 18, 2024Updated 2 years ago
- Data sonification script for Norns☆10Jan 6, 2024Updated 2 years ago
- Strongly-typed, safe, opinionated systems language that compiles to C.☆14May 16, 2019Updated 6 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- ☆13Jul 9, 2025Updated 8 months ago
- Exchange structured data between Arduino boards☆11Jul 5, 2019Updated 6 years ago
- An application that open source projects can use to ensure they include relevant documentation (and not secrets or PII!)☆10Mar 29, 2021Updated 4 years ago
- ☆12Sep 27, 2020Updated 5 years ago
- ☆12Jul 12, 2023Updated 2 years ago
- SSR Remote for Android☆14Nov 9, 2012Updated 13 years ago
- My 4-track sampler/sequencer coded in PD and compiled by LibPD run on Beaglebone Black☆16Jul 30, 2019Updated 6 years ago
- Energi proposal creator☆12Dec 1, 2021Updated 4 years ago
- Provendocs is a blockchain enabled document storage service built on ProvenDB.☆12Dec 22, 2022Updated 3 years ago
- Set up a forge testing env instantly w/ ds-test, solmate + openzeppelin preinstalled.☆10Sep 17, 2022Updated 3 years ago
- The Antisocial Microblogging Framework☆10Feb 20, 2017Updated 9 years ago
- The Aurorachain project has three phases, this is the first phase of the code.☆21Sep 12, 2025Updated 5 months ago
- Use a visual heat or motion map to count the number of people that enter and exit a store, factory, or warehouse aisle.☆11Jan 3, 2023Updated 3 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- Cloud init and Fleet files for installing and running Kubernetes on CoreOS.☆12Jun 18, 2015Updated 10 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- An old NAT-PMP/UPnP proxy implementation☆10Jan 28, 2012Updated 14 years ago