Alternatives and similar repositories for language-rating

Users that are interested in language-rating are comparing it to the libraries listed below

• JockLawrie / MultinomialRegression.jl

  View on GitHub
  ☆11Oct 25, 2024Updated last year
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• yanyingwang / http-client

  View on GitHub
  A practical http client library for sending data to http servers.
  ☆10Jul 10, 2024Updated last year
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• JonasHoefer / poset-type-theory

  View on GitHub
  Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
  ☆13Aug 19, 2024Updated last year
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 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
• schemedoc / srfi-metadata

  View on GitHub
  Import SRFI metadata into the Scheme API
  ☆11Jan 19, 2026Updated 3 weeks ago
• otherjoel / beeswax

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 2 months ago
• khayyamsaleem / gradual-typing

  View on GitHub
  an implementation of gradual typing in mit-scheme
  ☆10Apr 11, 2021Updated 4 years ago
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated last month
• Conair94 / ModelTheoryWiki

  View on GitHub
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Jun 8, 2025Updated 8 months ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• tinybasic-rkt / tinybasic-rkt

  View on GitHub
  TinyBasic implementation in Racket (WIP)
  ☆13Apr 25, 2025Updated 9 months ago
• well-typed / memory-profiling-webinar

  View on GitHub
  Source code for the memory profiling webinar livestreamed at Dec 1, 2022
  ☆13Dec 2, 2022Updated 3 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• pmatos / racket-binaryen

  View on GitHub
  Binaryen bindings for Racket
  ☆11Oct 20, 2021Updated 4 years ago
• ocramz / algebraic-graphs-io

  View on GitHub
  I/O utilities and datasets for algebraic-graphs
  ☆14Aug 29, 2022Updated 3 years ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Aug 11, 2025Updated 6 months ago
• danielwhite / cowboy_cors

  View on GitHub
  Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)
  ☆13Dec 27, 2016Updated 9 years ago
• samth / git-slice

  View on GitHub
  Slicing git repositories.
  ☆22May 21, 2018Updated 7 years ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• punkdit / huygens

  View on GitHub
  ☆11Nov 7, 2025Updated 3 months ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• wilbowma / scribble-coq

  View on GitHub
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Oct 3, 2019Updated 6 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago