Alternatives and similar repositories for study-in-scarlet

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

• 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
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆12Updated 4 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆46Updated 9 months ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆37Updated 5 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated last week
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆15Updated 2 years ago
• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆104Updated 2 years ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated 3 months ago
• fccm / OCamlODE
  OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.
  ☆16Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 8 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 9 months ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated last year
• aryx / syncweb
  literate programming meets unison
  ☆29Updated last month
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 12 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Updated 4 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated last year
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆24Updated last year
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago