Anders CCHM/HTS Theorem Prover
Anders is HoTT theorem prover based on: classical MLTT-80 with 0, 1, 2, W types; CCHM in CHM flavour as cubical type system with hcomp/trans Kan operations; HTS sctrict equality on pretypes; de Rham stack modality primitives. We tend not to touch general recursive higher inductive schemes yet, instead we will try to express as much HIT as possible through W, Coequlizer and HubSpokes Disc in the style of HoTT/Coq homotopy library and Three-HIT theorem. Written in OCaml https://github.com/groupoid/anders
Does the same job
all alternatives →- CACaramel – a modern syntax for the lambda calculus2015 · github.com · ▲130
- CAC3 – A C alternative that looks like C2021 · github.com · ▲120
- DTDependently typed language for proofs that you can implement in one day2021 · github.com · ▲138
- PAPoica – Algebraic data types and type introspection for pure C2020 · github.com · ▲116
- MAMiso – A Haskell implementation of Elm2017 · github.com · ▲114
- AIAn Interpreter for Extended Relational Algebra (Scheme Based)2016 · github.com · ▲52
More dev tools this month
the category →
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Launched alongside, January 2022
the whole month →- LA
Life & fun · 2022 · looptap.vasanthv.com
- WP
History: Last year I had to replace the tire on my bike, and I was surprised how difficult it was to find a suitable new tire. There were a lot of numbers written on the casing, so I googled what they meant. In the end I was successful, but I didn't want to do the same work again for the next bike after I've forgotten the details. So I wrote this website. Technically, the web page is kept very simple, no frameworks, no templates, no website builder. It uses HTML5, CSS and JavaScript, and it privides a responsive layout for mobile usage. I'm happy to receive feedback. If you have tried the…
Life & fun · 2022 · fahrrad-tools.de
Startup Recipes▲630The ultimate MVP cheat sheet with 60+ startup formulas
Dev tools · 2022 · mvprecipes.com
