Alternatives and similar repositories for gpi-labs

Users that are interested in gpi-labs are comparing it to the libraries listed below

• ajainvivek / ember-cli-spinner

  View on GitHub
  AJAX Spinners for your Ember.js app
  ☆10Oct 19, 2018Updated 7 years ago
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• craff / phox

  View on GitHub
  ☆14Jan 30, 2025Updated last year
• 152334H / 152334H.github.io

  View on GitHub
  Revamped: Hugo+LoveIt
  ☆10Dec 31, 2025Updated last month
• rocq-archive / paradoxes

  View on GitHub
  Paradoxes in Set Theory and Type Theory
  ☆12Jul 24, 2024Updated last year
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• weilicao / SPScanner

  View on GitHub
  [COLM '25] Single-Pass Document Scanning for Question Answering
  ☆12Aug 20, 2025Updated 5 months ago
• epfl-lara / SystemFR

  View on GitHub
  System FR: Formalized Foundations for Stainless
  ☆12Feb 2, 2026Updated last week
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 8 months ago
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• wiio12 / POETRY

  View on GitHub
  Code for the paper: Proving Theorems Recursively
  ☆12May 23, 2024Updated last year
• boyland / twelf-library

  View on GitHub
  Library classes for the Twelf Proof System
  ☆24Jun 16, 2020Updated 5 years ago
• hipsleek / hipsleek

  View on GitHub
  ☆13Feb 18, 2025Updated 11 months ago
• kayceesrk / cs6225_s21_iitm

  View on GitHub
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Apr 28, 2021Updated 4 years ago
• kth-step / itppv-course

  View on GitHub
  Interactive Theorem Proving course using HOL4
  ☆12Jun 21, 2023Updated 2 years ago
• DavePearce / FeatherweightRust

  View on GitHub
  Provides a reference implementation of FeatherweightRust in Java.
  ☆15Oct 28, 2021Updated 4 years ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Jun 13, 2021Updated 4 years ago
• cgswords / texsem

  View on GitHub
  A template set for writing semantics in LaTeX
  ☆12Aug 17, 2015Updated 10 years ago
• gilith / opentheory

  View on GitHub
  The opentheory tool processes higher order logic theory packages
  ☆16Mar 21, 2023Updated 2 years ago
• LASER-UMASS / TacTok

  View on GitHub
  The TacTok automated Coq proof script synthesis tool
  ☆17Jan 9, 2024Updated 2 years ago
• bentherien / mu_learned_optimization

  View on GitHub
  [Oral; Neurips OPT2024 ] μLO: Compute-Efficient Meta-Generalization of Learned Optimizers
  ☆14Mar 18, 2025Updated 10 months ago
• haizelabs / nyc-ai-reading

  View on GitHub
  nyc is so back
  ☆20Jun 27, 2025Updated 7 months ago
• daandouwe / ngram-lm

  View on GitHub
  A simple n-gram language model.
  ☆12Sep 11, 2018Updated 7 years ago
• vellvm / ctrees

  View on GitHub
  An itree-like data-structure to additionally support internal non-determinism
  ☆20Nov 25, 2025Updated 2 months ago
• catalin-hritcu / fstar-course

  View on GitHub
  Program verification with F* course materials
  ☆12Jul 6, 2019Updated 6 years ago
• aradha / 6.S088_2023

  View on GitHub
  Notebooks for 6.S088 IAP 2023
  ☆15Aug 1, 2024Updated last year
• sweirich / lambda-calculus

  View on GitHub
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Feb 5, 2025Updated last year
• solomonbstoner / solomonbston3r-ctf-diary

  View on GitHub
  The diary of a n00b in the unfamiliar and terrifying venture into Capture-the-flag.
  ☆12Oct 14, 2018Updated 7 years ago
• CakeML / candle

  View on GitHub
  The Candle theorem prover (fork of the HOL Light sources)
  ☆18Updated this week
• alpha-convert / delta

  View on GitHub
  Implementation of the Delta Language
  ☆13Mar 18, 2024Updated last year
• janestreet / splay_tree

  View on GitHub
  A splay tree implementation.
  ☆14Jan 15, 2026Updated 3 weeks ago
• COLM-org / Template

  View on GitHub
  ☆20Dec 8, 2025Updated 2 months ago
• racket / algol60

  View on GitHub
  ☆13Nov 21, 2025Updated 2 months ago
• janestreet / typerep

  View on GitHub
  Runtime types for OCaml (beta version)
  ☆27Jan 15, 2026Updated 3 weeks ago
• conal / talk-2023-galilean-revolution

  View on GitHub
  A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
  ☆15Aug 6, 2023Updated 2 years ago
• pwning / pwning.github.io

  View on GitHub
  ☆14May 16, 2024Updated last year
• danelahman / lograc-2022

  View on GitHub
  Git repository for the course Logika v računalništvu
  ☆15Apr 5, 2022Updated 3 years ago