Alternatives and similar repositories for Languages-of-code

Users that are interested in Languages-of-code are comparing it to the libraries listed below

• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆52Updated 7 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆17Updated last year
• rover07 / Ambassador-Programs
  This repository comtains list of Ambassador programs for Developers and Students.
  ☆10Updated last year
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• j-towns / flipper
  Reversible programming in Agda
  ☆12Updated 2 years ago
• hoppecl / jamlang0001
  ☆8Updated 3 years ago
• MondayMorningHaskell / AdventOfCode
  ☆15Updated last year
• lenguyenthanh / compilers
  A place for me to learn/ experiment with interpreters/compilers
  ☆12Updated 3 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆120Updated 7 months ago
• unisonweb / base
  Unison base libraries
  ☆22Updated this week
• juspay / euler-hs
  EulerHS: full-fledged framework for creating web backends
  ☆113Updated 10 months ago
• mattecapu / categorical-systems-theory
  ☆43Updated 3 months ago
• unisonweb / ucm-desktop
  A desktop app companion to the UCM CLI
  ☆52Updated 3 weeks ago
• aionescu / rugina
  Rust programming, in Romanian.
  ☆104Updated last year
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆230Updated last year
• jurisk / advent-of-code
  ☆12Updated 2 weeks ago
• believer / advent-of-code
  Advent of Code in Rust, ReScript, ReasonML, Go, TypeScript, and Python
  ☆53Updated 7 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• CatarinaGamboa / liquidjava
  ☆42Updated 2 weeks ago
• andorp / order-taking
  Idris version of Domain Modeling Made Functional Book.
  ☆140Updated 3 years ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 5 months ago
• mstksg / advent-of-code-dev
  Interactive development environment and runner for Advent of Code challenges
  ☆26Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last month
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆34Updated last year
• jkoppel / ecta
  ☆36Updated last year
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆30Updated 2 years ago