Alternatives and similar repositories for specification

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

• zilch-lang / zilch
  A statically-typed, low-level, functional programming language with some focus on runtime performance
  ☆29Updated 2 years ago
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆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
  ☆68Updated 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
• shika-blyat / kamai
  A schwifty programming language made by a former out of school space cucumber
  ☆31Updated 3 years ago
• wyx0-xyz / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• jomtek / LazenLang
  An imperative, object-oriented, static and type-infered programming language.
  ☆9Updated 2 years ago
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 3 years ago
• ilianette / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 4 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated 11 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆13Updated 2 years ago
• danieljharvey / wasm-calc
  Building a compiler to WASM step-by-step
  ☆14Updated 4 months ago
• MorganCaron / Script
  Script is a multi-paradigm compiled programming language. The compiler core has been migrated to CppUtils.
  ☆20Updated last year
• Mesabloo / snowstar
  Here lies the code for the Snow* programming language, currently being rewritten.
  ☆33Updated 6 years ago
• arkena00 / ngl
  Neuroshok Generic Language
  ☆14Updated 4 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• RedPRL / cooltt
  😎TT
  ☆231Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆178Updated 3 months ago
• edwinb / SPLV20
  SPLV20 course notes
  ☆112Updated 2 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆206Updated this week
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 5 years ago
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated 2 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆74Updated 3 months ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆63Updated 3 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆97Updated 5 months ago
• frex-project / idris-frex
  ☆48Updated 2 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆54Updated last week