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
  ☆35Updated 6 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…
  ☆43Updated 7 months ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆50Updated 10 months ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆12Updated 4 years ago
• jubnzv / moonsmith
  A random generator of Lua programs
  ☆11Updated 3 years ago
• sgimenez / laby
  Learn programming, playing with ants and spider webs ;-)
  ☆100Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• fccm / OCamlODE
  OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.
  ☆16Updated 2 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated last month
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 10 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated 3 weeks ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆20Updated 12 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• ratfactor / meow5
  An extremely concatenative programming language
  ☆22Updated last year
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆23Updated 3 years ago
• jaredkrinke / learn-scheme
  Learn Lisp interactively!
  ☆32Updated 8 months ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated this week
• 0x0f0f0f / gobba
  A purely functional dynamically typed programming language.
  ☆56Updated 4 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 8 months ago
• Armael / conch
  ☆24Updated 3 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 7 months ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 3 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago