Hope programming language interpreter
β43May 30, 2025Updated 11 months ago
Alternatives and similar repositories for hope
Users that are interested in hope are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Label dependent dependent session typesβ16May 2, 2024Updated 2 years ago
- ποΈ Isometric 3D Graphing / Rendering module for Haskellβ15Sep 2, 2017Updated 8 years ago
- Shared Cheat Sheet for Coqβ10Sep 8, 2016Updated 9 years ago
- a version of the 2048 game for Coqβ22Jan 30, 2026Updated 3 months ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.β15Nov 10, 2021Updated 4 years ago
- 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.
- Zettelkasten file processorβ12Oct 7, 2020Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.β20Jul 13, 2021Updated 4 years ago
- Resources for "One Monad to Prove Them All"β29Dec 31, 2018Updated 7 years ago
- Austin's supercompiler workβ21Nov 17, 2019Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers IIβ12Feb 22, 2022Updated 4 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.β21Nov 26, 2023Updated 2 years ago
- A simple way to query constructors, like cases but slightly more conciseβ11Mar 7, 2018Updated 8 years ago
- All the code I've ever written in Ltac2β11Jan 19, 2021Updated 5 years ago
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDEβ13Feb 19, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A categorical framework for circuit constructionβ31Sep 27, 2016Updated 9 years ago
- Mafia mod with completely new example scene.β22Apr 6, 2021Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.β15Mar 26, 2020Updated 6 years ago
- Yoneda lemma in every known languageβ18Apr 2, 2026Updated last month
- A tiny implementation of dependent types.β11Oct 24, 2017Updated 8 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lensesβ17Nov 26, 2018Updated 7 years ago
- A Coq to Cedille compiler written in Coqβ34Sep 22, 2020Updated 5 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0β36Mar 26, 2026Updated last month
- A tiny statically typed programming languageβ18Jul 22, 2014Updated 11 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.
- typesafe implementation of tensor algebra in Haskellβ13Feb 27, 2021Updated 5 years ago
- being the notes and materials for CS410 in the 2013/14 academic sessionβ30May 27, 2014Updated 11 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascaisβ26Jan 14, 2019Updated 7 years ago
- Streaming parsers collectionβ17Jun 19, 2020Updated 5 years ago
- The language of the future!β72Jan 7, 2024Updated 2 years ago
- A "functionally oriented" Racket dialect.β44May 18, 2022Updated 3 years ago
- Type level algebraic "proofs" using lens combinatorsβ19Jul 26, 2019Updated 6 years ago
- nominal sets in haskellβ19Nov 18, 2018Updated 7 years ago
- Evaluate special comments in your program on file save.β39Oct 7, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Certified Interpreter for ML with Structural Polymorphismβ45Apr 11, 2025Updated last year
- Accepted papers for PLDI 2014β15May 19, 2016Updated 9 years ago
- Charity Programming Languageβ41Apr 14, 2015Updated 11 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.β18Jul 9, 2018Updated 7 years ago
- Deciding Presburger arithmetic in agdaβ33Mar 25, 2023Updated 3 years ago
- The generalized intensional compiler for a Haskell-like language.β14Nov 27, 2017Updated 8 years ago
- ScopeT and ScopeHβ13Aug 3, 2024Updated last year