☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 9 months ago
- Strongly-typed, safe, opinionated systems language that compiles to C.☆14May 16, 2019Updated 6 years ago
- ☆11Jan 22, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 9 years ago
- ☆11May 14, 2023Updated 2 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 2 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- Java Library for Generating x86 Code☆12Sep 30, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Dec 12, 2017Updated 8 years ago
- ☆13Feb 15, 2019Updated 7 years ago
- Library for HTTP request/response workflow☆15Oct 14, 2025Updated 6 months ago
- Vanilla XCP - Light Counterparty Wallet☆12Jul 12, 2017Updated 8 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Apr 27, 2017Updated 8 years ago
- Yearlist is a desktop app to help birders analyze, visualize and map their personal eBird sightings and, optionally, their bird photograp…☆14Apr 11, 2026Updated last week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆69Oct 12, 2024Updated last year
- Hashed TimeLock Contracts for Coins/Lotion☆11Oct 21, 2018Updated 7 years ago
- ☆13Jul 2, 2017Updated 8 years ago
- 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.
- ☆13Feb 21, 2026Updated last month
- pre-rust librsvg (old gen)☆11Apr 28, 2022Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- ☆16Sep 21, 2019Updated 6 years ago
- Racket daemon, for better startup time on Racket scripts. Makes short-running scripts feasible in Racket.☆12Oct 28, 2019Updated 6 years ago
- tasty project for Scala☆14Mar 21, 2017Updated 9 years ago
- A super simple adapter crate to let you use warp filters with AWS lambda runtime☆13May 29, 2022Updated 3 years ago
- Documentation for MacGap. Visit https://macgapproject.github.io/documentation☆15Feb 2, 2018Updated 8 years ago
- Heap server-side API client for Ruby☆16Oct 16, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- the actual epiphany backend☆20May 18, 2013Updated 12 years ago
- ☆19Apr 7, 2026Updated last week
- ☆14Dec 31, 2015Updated 10 years ago
- utilities to build production command line apps☆22Sep 29, 2016Updated 9 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- An old NAT-PMP/UPnP proxy implementation☆10Jan 28, 2012Updated 14 years ago
- Cognitive Atlas☆17Aug 15, 2016Updated 9 years ago