Alternatives and similar repositories for Languages-of-code

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

• TodePond / ThingsIWantToMake
  things I wanna make (updated for 2024)
  ☆32Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• rover07 / Ambassador-Programs
  This repository comtains list of Ambassador programs for Developers and Students.
  ☆11Updated last year
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• HigherOrderCO-archive / kindbook
  ☆55Updated last year
• codethesaurus / codethesaur.us
  A polyglot developer reference tool to compare programming language concepts side-by-side! Great for learning new languages or using for …
  ☆295Updated this week
• jurisk / advent-of-code
  ☆12Updated last week
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆150Updated 9 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• unisonweb / base
  Unison base libraries
  ☆23Updated 4 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆100Updated 2 years ago
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 5 years ago
• liquid-java / liquidjava
  Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
  ☆52Updated last week
• juspay / euler-hs
  EulerHS: full-fledged framework for creating web backends
  ☆117Updated last year
• Studio-kalavati / Swaranotebook-bandish-editor
  Bandish notation editor for Hindustani classical music
  ☆29Updated 3 weeks ago
• xieyuheng / chimera
  ☆70Updated 6 months ago
• sekomer / Victim
  Victim programming language written in Haskell
  ☆43Updated 2 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆17Updated 4 months ago
• ArpitShukIa / AdventOfCode2021
  My solutions to Advent of Code 2021
  ☆14Updated 4 years ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆49Updated 11 months ago
• feniljain / knowledge-base
  This is my personal collection and a one-stop place for everything I come across!
  ☆92Updated last month
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆328Updated 4 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 months ago
• TalmudLab / daf-renderer
  DOM render library for creating Talmud pages on the web.
  ☆24Updated 4 years ago
• andorp / order-taking
  Idris version of Domain Modeling Made Functional Book.
  ☆142Updated 4 years ago
• bauripalash / mewl
  Mewl, program in cats' language; A just-for-fun language
  ☆18Updated 3 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆16Updated 4 years ago
• flix / book
  The Flix Programming Book
  ☆21Updated last week