Alternatives and similar repositories for g3n3r4t1v3

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

• thautwarm / Sequent.jl

  View on GitHub
  formally and easily, describe the semantics.
  ☆13Aug 17, 2020Updated 5 years ago
• jsiek / arete

  View on GitHub
  Arete is an experimental programming language.
  ☆12Oct 6, 2023Updated 2 years ago
• chaw / r7rs-libs

  View on GitHub
  Scheme libraries written or packaged for R7RS implementations
  ☆13Apr 7, 2018Updated 7 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• Ayrx / atriage

  View on GitHub
  A dumb afl-fuzz triage tool.
  ☆14Dec 8, 2022Updated 3 years ago
• uds-psl / CoqTM

  View on GitHub
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Jul 5, 2023Updated 2 years ago
• funemy / SWORD

  View on GitHub
  SWORD: A Whole Program Race Detector for Java
  ☆13Jan 30, 2021Updated 5 years ago
• lakal3 / VGE

  View on GitHub
  Vulkan Graphics Engine
  ☆14Jul 17, 2022Updated 3 years ago
• regehr / llvm-dataflow-info

  View on GitHub
  print information from LLVM dataflow analyses
  ☆13Jan 22, 2020Updated 6 years ago
• django-security-tutorials / hands-on-web-security-slides

  View on GitHub
  Website for a Django-based Web Security Tutorial
  ☆14Sep 22, 2019Updated 6 years ago
• vintasoftware / safari-samesite-cookie-issue

  View on GitHub
  A Django 2.1 project to reproduce WebKit Bug 188165 and Django Ticket #30250
  ☆15Mar 29, 2019Updated 6 years ago
• divan / graphx

  View on GitHub
  Graph layout and display library.
  ☆20Dec 30, 2018Updated 7 years ago
• nachivpn / k

  View on GitHub
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆19May 27, 2024Updated last year
• DIJamner / lambda-compiler

  View on GitHub
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20May 19, 2017Updated 8 years ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• bittersweet / forwardhook

  View on GitHub
  Small go program to POST through incoming webhooks with the same body and headers
  ☆17Mar 1, 2018Updated 7 years ago
• Trebor-Huang / ZFC

  View on GitHub
  An embedding of ZFC into Agda
  ☆13Dec 10, 2021Updated 4 years ago
• tetrapharmakon / yoneda-in-tongues

  View on GitHub
  Yoneda lemma in every known language
  ☆17Mar 10, 2023Updated 2 years ago
• zikichombo / codec

  View on GitHub
  Sound Codecs
  ☆16Sep 11, 2018Updated 7 years ago
• raptazure / chocolate

  View on GitHub
  Talking about classical logic and abstract algebra in Haskell
  ☆16Feb 12, 2021Updated 5 years ago
• nyu-acsys / drift

  View on GitHub
  An abstract-interpretation-based static analysis for inferring refinement types
  ☆16Aug 11, 2025Updated 6 months ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• wemake-services / awesome-microtasking

  View on GitHub
  List of awesome resources and companies that practice microtasking
  ☆16Feb 20, 2019Updated 6 years ago
• arthuraa / agda-hoas-demo

  View on GitHub
  Experiments with higher-order abstract syntax in Agda
  ☆22Jul 14, 2022Updated 3 years ago
• ualib / ualib.github.io

  View on GitHub
  The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…
  ☆20Dec 8, 2021Updated 4 years ago
• nnja / example-proposals

  View on GitHub
  Example accepted and rejected conference talk proposals
  ☆15Feb 15, 2019Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• alecthomas / langx

  View on GitHub
  Language experimentation.
  ☆23Updated this week
• 4y8 / ski-in-asm

  View on GitHub
  A SKI combinators interpreter written in assembly
  ☆20Jul 25, 2020Updated 5 years ago
• RichardMoot / LinearOne

  View on GitHub
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Nov 12, 2020Updated 5 years ago
• sconybeare / mltt

  View on GitHub
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Feb 21, 2016Updated 9 years ago
• jbclements / rust-redex

  View on GitHub
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Sep 22, 2014Updated 11 years ago
• rocketnia / fexpress

  View on GitHub
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆23Sep 2, 2025Updated 5 months ago
• leecannon / zig-x86_64

  View on GitHub
  Support for x86_64 specific instructions (e.g. TLB flush), registers (e.g. control registers), and structures (e.g. page tables)
  ☆17Dec 1, 2022Updated 3 years ago
• vintasoftware / hub.rocks

  View on GitHub
  An online jukebox with all the songs from Deezer and YouTube. Built with Django and Angular.
  ☆22Apr 11, 2016Updated 9 years ago
• liamoc / hilbert

  View on GitHub
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Aug 1, 2014Updated 11 years ago
• jdan / compiler.lean

  View on GitHub
  A formally verified compiler for a simple language with numbers and sums
  ☆27Nov 29, 2020Updated 5 years ago
• bquenin / tuile

  View on GitHub
  Tuile (French for tile) is a 2D graphics engine inspired from old hardware and based on layers, tiles sets, tile maps and sprites. Its sc…
  ☆24Jan 30, 2026Updated 2 weeks ago
• tmikov / scheme2020

  View on GitHub
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Mar 13, 2020Updated 5 years ago