Alternatives and similar repositories for cs1113f16

Users that are interested in cs1113f16 are comparing it to the libraries listed below

• gbaz / works-in-progress

  View on GitHub
  scraps and bits and bobs
  ☆13Jul 28, 2022Updated 3 years ago
• inrick / Featherweight-Java

  View on GitHub
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Aug 19, 2012Updated 13 years ago
• roglo / banach_tarski

  View on GitHub
  Formal proof in Coq of Banach-Tarski paradox.
  ☆19Jan 9, 2026Updated last month
• johnfn / ghci-in-a-new-dress

  View on GitHub
  ghci with autocomplete, calltips, colors with type information, variable inspector, and more.
  ☆21Dec 24, 2011Updated 14 years ago
• meta-logic / coq-ll

  View on GitHub
  Formalization of Linear Logic in Coq
  ☆18Apr 7, 2025Updated 10 months ago
• jonleivent / mindless-coding

  View on GitHub
  Mindless, verified (erasably) coding using dependent types
  ☆104Dec 17, 2015Updated 10 years ago
• shreevatsa / knuth-literate-programs

  View on GitHub
  Examples of literate programming by Knuth
  ☆40Jun 22, 2025Updated 7 months ago
• jtristan / stump-learnable

  View on GitHub
  ☆16Dec 9, 2020Updated 5 years ago
• CertiKOS / coqrel

  View on GitHub
  Binary logical relations library for the Coq proof assistant
  ☆22Oct 15, 2025Updated 4 months ago
• vikraman / 2DTypes

  View on GitHub
  Collaborative work on reversible computing
  ☆18Aug 3, 2022Updated 3 years ago
• rocq-prover / bot

  View on GitHub
  The Rocq Prover bot
  ☆24Jan 30, 2026Updated 2 weeks ago
• arthuraa / memory-safe-language

  View on GitHub
  A formalization of properties of a simple imperative, memory-safe language.
  ☆20Sep 27, 2021Updated 4 years ago
• mit-frap / spring17

  View on GitHub
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20May 10, 2017Updated 8 years ago
• rntz / rotten

  View on GitHub
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆98May 1, 2015Updated 10 years ago
• gallais / agda-nbe

  View on GitHub
  Formalizing nbe in agda
  ☆32Nov 22, 2012Updated 13 years ago
• chrisdone-archive / ghc-server

  View on GitHub
  A server interface to GHC.
  ☆19Oct 11, 2014Updated 11 years ago
• leanprover / logic_and_proof_lean3

  View on GitHub
  CMU Undergrad Course
  ☆95Feb 18, 2023Updated 2 years ago
• namin / metaprogramming

  View on GitHub
  Course on Metaprogramming
  ☆75Feb 5, 2026Updated last week
• namin / lms-black

  View on GitHub
  purple: compiling a reflective language
  ☆33Oct 14, 2024Updated last year
• bolt12 / tymfgg-pearl

  View on GitHub
  Type Your Matrices For Great Good
  ☆29Jul 22, 2020Updated 5 years ago
• theoremprover-museum / LCF77

  View on GitHub
  The original Edinburgh LCF.
  ☆34Oct 21, 2016Updated 9 years ago
• nrnrnr / build-prove-compare-student-code

  View on GitHub
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32May 18, 2023Updated 2 years ago
• rocq-community / coq-program-verification-template

  View on GitHub
  Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchai…
  ☆35Jul 31, 2024Updated last year
• msp-strath / ZEUG

  View on GitHub
  being the beginnings of at least zero typecheckers
  ☆34Apr 13, 2017Updated 8 years ago
• fare / fare-quasiquote

  View on GitHub
  Portable implementation of quasiquote for Common Lisp
  ☆30Jan 26, 2026Updated 2 weeks ago
• AdrienChampion / hashconsing

  View on GitHub
  A Rust hashconsing library.
  ☆38Jul 15, 2024Updated last year
• TheoWinterhalter / phd-thesis

  View on GitHub
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆42Oct 21, 2020Updated 5 years ago
• tomkam1702 / OCR-Translator

  View on GitHub
  🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …
  ☆25Nov 25, 2025Updated 2 months ago
• willcrichton / rabbot

  View on GitHub
  Abstract binding tree code generator
  ☆37Oct 31, 2016Updated 9 years ago
• electronistu / Project_Infinity

  View on GitHub
  A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…
  ☆25Oct 2, 2025Updated 4 months ago
• plum-umd / cgc

  View on GitHub
  Constructive Galois connections
  ☆36Mar 26, 2018Updated 7 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• 51alg / TerpreT

  View on GitHub
  ☆42Aug 14, 2017Updated 8 years ago
• wilbowma / cic-redex

  View on GitHub
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆34May 27, 2017Updated 8 years ago
• UCSD-PL / proverbot9001

  View on GitHub
  ☆44Jan 15, 2026Updated 3 weeks ago
• mirefek / lean-tactic-programming-guide

  View on GitHub
  Beginner's guide to Tactic Programming in Lean
  ☆66Aug 29, 2025Updated 5 months ago
• Dicklesworthstone / pi_agent_rust

  View on GitHub
  High-performance AI coding agent CLI written in Rust
  ☆40Updated this week
• googlearchive / sencha-video-player-app

  View on GitHub
  ☆33Sep 25, 2012Updated 13 years ago
• PyPSA / pypsa-eur-mga

  View on GitHub
  Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur
  ☆11Oct 26, 2020Updated 5 years ago