superb-owl / grothendieckView external linksLinks
☆27Oct 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:
- Mathematical notes and papers☆27Jan 22, 2026Updated 3 weeks ago
- Materials for the Text to Tech workshop at the Digital Humanities Oxford Summer School☆16Aug 8, 2025Updated 6 months ago
- Automatically set git config properties in local repository based on remote URL☆15Oct 25, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆14Sep 21, 2022Updated 3 years ago
- PACT Agent Collaboration Layer☆15Dec 23, 2025Updated last month
- Load data into wikibase☆10Nov 20, 2018Updated 7 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
- Publications related to Secure-Scuttlebutt and related technologies.☆15Jul 9, 2024Updated last year
- 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
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 7 years ago
- 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
- Contracts for the EMAX token on Ethereum Mainnet☆20Feb 24, 2022Updated 3 years ago
- Middleware and Browserify transform for less files☆12Dec 3, 2025Updated 2 months ago
- example racing game for coderdojo☆15Sep 21, 2020Updated 5 years ago
- Interactive board view for obsidian bases, use as Kanban or Gallery, with grouping for rows and columns.☆28Dec 5, 2025Updated 2 months ago
- Deploy, update, and manage multiple stateful AI agents from YAML configuration files with simple commands like lettactl apply -f agents.y…☆33Updated this week
- 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
- OctoFi yield smart contract☆10Sep 12, 2020Updated 5 years ago
- ☆14Nov 1, 2024Updated last year
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago
- Repo containing notebooks showcasing features and applications of cadCAD.☆10Sep 7, 2024Updated last year
- My slides for NodeFest 2018☆13Nov 23, 2018Updated 7 years ago
- Make your own CLIMATECLOCK with off-the-shelf parts.☆13Apr 26, 2021Updated 4 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 2 years ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 4 years 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
- the actual epiphany backend☆20May 18, 2013Updated 12 years ago
- Welcome to BuildingControlLib, a Modelica library for modelling and simulation of standardized and non-standardized control functions fro…☆13Jan 19, 2018Updated 8 years ago
- ☆10May 24, 2021Updated 4 years ago
- Exchange structured data between Arduino boards☆11Jul 5, 2019Updated 6 years ago
- Etherman is a CLI tool for managing and testing Solidity contract deployments, written in pure Go.☆11Jul 21, 2025Updated 6 months ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- ☆12Jul 12, 2023Updated 2 years ago
- OWHL - Open Wave Height Logger☆13Jul 31, 2025Updated 6 months ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- Library for HTTP request/response workflow☆15Oct 14, 2025Updated 4 months ago