Alternatives and similar repositories for live-long-and-prospero

Users that are interested in live-long-and-prospero are comparing it to the libraries listed below

• pa-ba / AsyncRattus

  View on GitHub
  ☆14Nov 4, 2025Updated 3 months ago
• hkust-taco / superf

  View on GitHub
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15May 22, 2024Updated last year
• fortlang / fort

  View on GitHub
  Compiler for the fort programming language
  ☆14Jun 30, 2025Updated 7 months ago
• smasher164 / mexdown

  View on GitHub
  A lightweight integrating markup language
  ☆16Feb 24, 2020Updated 5 years ago
• TyberiusPrime / nested_intervals

  View on GitHub
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆17Apr 22, 2024Updated last year
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated last month
• fir-lang / fir

  View on GitHub
  Fir programming language
  ☆92Updated this week
• qexat-archive / ansifmt

  View on GitHub
  A simple, lightweight library for ANSI styling.
  ☆24Oct 30, 2025Updated 3 months ago
• L-TChen / BiSig

  View on GitHub
  Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
  ☆21Jan 30, 2024Updated 2 years ago
• AndrasKovacs / universes

  View on GitHub
  Generalized syntax & semantics for universe hierarchies
  ☆32Dec 11, 2023Updated 2 years ago
• AndrasKovacs / 2ltt-impl

  View on GitHub
  Eventually a practical 2-level TT-based compiler
  ☆31Feb 3, 2026Updated 2 weeks ago
• xnning / MpEff

  View on GitHub
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆33Mar 16, 2021Updated 4 years ago
• RedPRL / stagedtt

  View on GitHub
  🪆 A Staged Type Theory
  ☆35Sep 4, 2023Updated 2 years ago
• wareya / filli

  View on GitHub
  Small powerful micro scripting language <1K SLOC
  ☆62Oct 5, 2025Updated 4 months ago
• astump / cedille-core-spec

  View on GitHub
  Specification of the Cedille Core language
  ☆35Jul 21, 2020Updated 5 years ago
• habit-lang / alb

  View on GitHub
  ☆40Aug 5, 2024Updated last year
• RedPRL / mugen

  View on GitHub
  ♾️ A library for universe levels and universe polymorphism
  ☆37Nov 21, 2025Updated 2 months ago
• ucsd-progsys / mist

  View on GitHub
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Jun 22, 2021Updated 4 years ago
• FrankBro / ordo

  View on GitHub
  Ordo: A minimalist language with row polymorphism
  ☆86Feb 3, 2026Updated 2 weeks ago
• Hermitter / roku-ecp-rs

  View on GitHub
  A Rust crate for the Roku External Control Protocol (ECP)
  ☆10May 29, 2021Updated 4 years ago
• WhyKickAmooCow / luamqtt-computercraft

  View on GitHub
  A MQTT Client for ComputerCraft
  ☆10Jan 27, 2024Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• hkust-taco / mlstruct

  View on GitHub
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Dec 16, 2024Updated last year
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• YarnSpinnerTool / YarnEditor

  View on GitHub
  Forwarding repository for @blurymind/YarnClassic
  ☆10Sep 15, 2022Updated 3 years ago
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆13Feb 9, 2025Updated last year
• rigaya / build_scripts

  View on GitHub
  自分用ビルドスクリプト集
  ☆10Aug 27, 2025Updated 5 months ago
• mjtb49 / ChunkRandomReversal

  View on GitHub
  A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.
  ☆10Mar 7, 2024Updated last year
• suaybarslan / founsure

  View on GitHub
  An Erasure Code Library with Efficient Repair and Update Features
  ☆11Jan 3, 2022Updated 4 years ago
• nairyosangha / mpv-subversive

  View on GitHub
  Automatically load (Japanese) subtitles in MPV
  ☆13Jan 13, 2026Updated last month
• sudokit / odgpu

  View on GitHub
  A general purpose gpu computation library in odin
  ☆12May 9, 2025Updated 9 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• morphismtech / distributors

  View on GitHub
  Distributors - Unifying Parsers, Printers & Grammars
  ☆64Updated this week
• repnop / barnacleboy

  View on GitHub
  A Gameboy emulator written in Rust
  ☆35Nov 23, 2018Updated 7 years ago
• pepa65 / qft

  View on GitHub
  Quick File Transfer, true peer-to-peer over UDP
  ☆12Updated this week
• mmhelloworld / Idris2-boot

  View on GitHub
  A dependently typed programming language, a successor to Idris
  ☆12Jul 18, 2021Updated 4 years ago
• clayrat / idris-linear

  View on GitHub
  Experiments with linear types
  ☆14Feb 23, 2018Updated 7 years ago
• me-diru / SB_API

  View on GitHub
  SpamBrainz API using LodBrok model.
  ☆11Dec 8, 2022Updated 3 years ago