☆11Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for pyrosome
Users that are interested in pyrosome are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rocqet proof language☆29Aug 11, 2025Updated last year
- Codebreaker is an automated platform that allows for easy and quick grading of Informatics Olympiad solutions.☆18Mar 14, 2026Updated 7 months ago
- smaller version of Dusa implemented in Racket☆12Oct 4, 2025Updated last year
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A splay tree implementation.☆13Updated this week
- ☆13May 26, 2026Updated 5 months ago
- An intermediate verification language☆30Jan 4, 2026Updated 10 months ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- a web app for HTTP debugging☆10Aug 16, 2011Updated 15 years ago
- Use Programming by Navigation for bioinformatics, compiler scheduling, and more!☆18Updated this week
- Unstable egglog standard library.☆18Oct 30, 2026Updated last week
- ☆45Aug 11, 2025Updated last year
- ☆15Aug 9, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Yet another Scheme implemented in Haskell☆20Dec 21, 2019Updated 6 years ago
- Probabilistic programming with programmable inference for parallel accelerators.☆58Mar 19, 2026Updated 7 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- A formalization of ML kernel languages☆53Mar 26, 2026Updated 7 months ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆40Jun 19, 2026Updated 4 months ago
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Looks through your `deps` folder to find which crate caused a WebAssembly import☆26Jul 2, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Python wraper for eggp☆18Updated this week
- Website for serving Pyret to folks.☆27Updated this week
- Interactive visualizer for e-graphs☆27Jan 13, 2026Updated 9 months ago
- www.functional-architecture.org website☆26Sep 28, 2026Updated last month
- ☆15Aug 11, 2026Updated 2 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Rails-based forum engine, heavily opinionated: only OpenID, no (sub)forums but only tags☆17Jan 27, 2009Updated 17 years ago
- Inconsolata with patched missing glyphs which are necessary for drawing tmux split line.☆26Dec 4, 2014Updated 11 years ago
- Typed effects API for OxCaml☆37Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 6 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- Code from Michael Feathers presentation about "Tell, Don't Ask" at Craft 2019☆18Aug 14, 2019Updated 7 years ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated last month
- Higher-order FRP compiler☆17Oct 20, 2021Updated 5 years ago
- ☆16Jul 31, 2026Updated 3 months ago
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated 2 weeks ago