Alternatives and similar repositories for study-in-scarlet

Users that are interested in study-in-scarlet are comparing it to the libraries listed below

• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆104Updated 2 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated 4 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated last year
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆17Updated 3 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆12Updated 4 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 10 months ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated 3 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• jeapostrophe / c
  #lang for writing C code
  ☆15Updated 8 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 3 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 14 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 12 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated 2 months ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆38Updated 5 years ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆49Updated last month
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• mirage / mrmime
  What do you mean?
  ☆46Updated 2 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 5 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago