Alternatives and similar repositories for s2024

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

• shriram / porpoise

  View on GitHub
  use an LLM to translate purpose-statements into code to evaluate their quality
  ☆11Apr 3, 2024Updated last year
• codebox / regex_parser

  View on GitHub
  A regular expression parser written in JavaScript
  ☆10Feb 24, 2021Updated 4 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated last month
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Apr 16, 2025Updated 10 months ago
• careweather / oneil

  View on GitHub
  Design specification language for rapid, comprehensive system modeling.
  ☆19Updated this week
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 6 years ago
• dashersw / aktivite-akis-ornegi

  View on GitHub
  Node.js ile aktivite akış örneği
  ☆12Mar 23, 2016Updated 9 years ago
• usirin / layout-tree

  View on GitHub
  An abstract tree data-structure to represent windows as leaf nodes.
  ☆12Dec 25, 2022Updated 3 years ago
• frozsgy / semantle-tr

  View on GitHub
  Turkish fork of Semantle
  ☆12Oct 3, 2024Updated last year
• siefca / i18n-inflector

  View on GitHub
  Enhances simple I18n backend so that it inflects translations using pattern interpolation
  ☆32Jun 17, 2022Updated 3 years ago
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• mitmath / numerical_hub

  View on GitHub
  interdisciplinary numerical methods: half-semester "hub" course
  ☆15Updated this week
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• codehag / pattern-matching-epic

  View on GitHub
  an alternative approach to pattern matching
  ☆13Jul 18, 2022Updated 3 years ago
• nejdetkadir / google-keep-api

  View on GitHub
  Google Keep API with Ruby on Rails
  ☆12Nov 3, 2021Updated 4 years ago
• rexim / lambda

  View on GitHub
  lambda calculus interpreter
  ☆13Mar 31, 2021Updated 4 years ago
• TimothyGu / learning-promises

  View on GitHub
  Learning JavaScript promises
  ☆12Sep 5, 2022Updated 3 years ago
• madvorak / fecssk

  View on GitHub
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆15Feb 8, 2024Updated 2 years ago
• heiskr / heiskr.github.io

  View on GitHub
  Personal site
  ☆14Dec 19, 2025Updated last month
• SiriusNEO / Masterball

  View on GitHub
  A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.
  ☆12Feb 12, 2023Updated 3 years ago
• frontendship / website

  View on GitHub
  ☆10Dec 3, 2022Updated 3 years ago
• FR4NC1SC011 / FromTheTransistorToTheWEbBrowser

  View on GitHub
  Inspired by George Hotz
  ☆12Oct 21, 2021Updated 4 years ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Jun 13, 2021Updated 4 years ago
• MarkChenYutian / C0VM-ts

  View on GitHub
  Compile, Debug and Visualize C0 Program on any modern browser!
  ☆11Jan 18, 2026Updated 3 weeks ago
• hongseok-yang / graduatePL25

  View on GitHub
  ☆16Nov 10, 2025Updated 3 months ago
• drunderscore / Cosmo

  View on GitHub
  A Metamod:Source plugin that adds a JavaScript runtime for plugins
  ☆11Aug 29, 2022Updated 3 years ago
• jin / scheme.ml

  View on GitHub
  Scheme (R6RS subset) interpreter written in OCaml
  ☆17Jun 30, 2020Updated 5 years ago
• coltekin / turkish-nlp-resources

  View on GitHub
  Corpora, tools and resources for Turkish NLP
  ☆14May 27, 2020Updated 5 years ago
• cstrahan / aduni

  View on GitHub
  The ADUni course material, and extra info.
  ☆14Sep 17, 2011Updated 14 years ago
• plkpiotr / design-patterns

  View on GitHub
  Design patterns with real-life examples and PlantUML diagrams [2021]
  ☆13Jan 8, 2026Updated last month
• rrthomas / pforth

  View on GitHub
  A portable Forth compiler
  ☆12Nov 24, 2024Updated last year
• PKUFlyingPig / project-based-learning

  View on GitHub
  Curated list of project-based tutorials
  ☆10Aug 3, 2021Updated 4 years ago
• lynn / universal-lambda

  View on GitHub
  A minimal esolang based on lambda calculus
  ☆16Jan 13, 2021Updated 5 years ago
• laurabreiman / science-of-cooking

  View on GitHub
  ☆15Apr 5, 2017Updated 8 years ago
• rlengvenis / survey-app-frontend

  View on GitHub
  A simplified version of Google Forms application frontend written with React.js
  ☆12Feb 14, 2018Updated 8 years ago
• dalaing / little-languages

  View on GitHub
  Playing with DSLs in Haskell
  ☆22Feb 13, 2017Updated 9 years ago