☆43Feb 26, 2026Updated this week
Alternatives and similar repositories for G2
Users that are interested in G2 are comparing it to the libraries listed below
Sorting:
- A prototype of soft contract verification for an untyped functional language☆35Apr 7, 2021Updated 4 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆15Mar 17, 2018Updated 7 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- A parser for org files writter in rust.☆16Jan 1, 2019Updated 7 years ago
- ☆45Nov 28, 2021Updated 4 years ago
- Makesite.py - Extremely simple static site generator☆19Feb 28, 2020Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Convert TLA+ output (and values) into JSON☆27Mar 3, 2021Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Apr 2, 2018Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆71Oct 31, 2019Updated 6 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Aug 11, 2016Updated 9 years ago
- Empirical-Research Toolkit☆11Nov 21, 2025Updated 3 months ago
- Indentation-based Racket Syntax -- MOVED TO: https://git.leastfixedpoint.com/tonyg/racket-something☆39Sep 2, 2021Updated 4 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- Take an info.rkt file, produce a info.nix file.☆45Apr 7, 2021Updated 4 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated last week
- ☆14Feb 24, 2026Updated last week
- Landing page for Woolly Test☆12Apr 15, 2025Updated 10 months ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Nov 25, 2024Updated last year
- Compare the public API of different versions of a Hackage library☆62May 2, 2018Updated 7 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Feb 24, 2026Updated last week
- A LaTeX package for formatting meta-theory.☆46Nov 19, 2020Updated 5 years ago
- A simple Qt based desktop popup utility☆10Aug 3, 2020Updated 5 years ago
- StumpWM Debugger☆11Apr 19, 2025Updated 10 months ago
- Inpage Provider. Injected API used to interact with Plug in browsers.☆11Nov 23, 2022Updated 3 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month