Alternatives and similar repositories for specification

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

• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆30Updated 2 years ago
• zilch-lang / zilch
  A statically-typed, low-level, functional programming language with some focus on runtime performance
  ☆29Updated 2 years ago
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 3 years ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• Aiden01 / iris-lang
  A simple, statically-typed programming language
  ☆16Updated 6 years ago
• nathan-trioleyre / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• shika-blyat / kamai
  A schwifty programming language made by a former out of school space cucumber
  ☆31Updated 3 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆69Updated last year
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆13Updated 3 years ago
• ilianette / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 4 years ago
• Mesabloo / snowstar
  Here lies the code for the Snow* programming language, currently being rewritten.
  ☆33Updated 6 years ago
• RedPRL / cooltt
  😎TT
  ☆233Updated 2 months ago
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 3 years ago
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 6 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 3 years ago
• arkena00 / ngl
  Neuroshok Generic Language
  ☆14Updated 5 years ago
• Mesabloo / oneiric
  A small kernel + OS based on how dreams work
  ☆10Updated 6 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆355Updated last week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆216Updated 2 months ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 3 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated last year
• frex-project / idris-frex
  ☆50Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆314Updated 4 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆120Updated 5 months ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆113Updated 2 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆104Updated 3 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 2 months ago