Alternatives and similar repositories for study-in-scarlet:

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

• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 11 months ago
• rizo / ocaml-by-example
  Code examples for OCaml.
  ☆9Updated 4 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated this week
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆12Updated last month
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 3 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• colis-anr / lintshell
  A user-extensible lint for POSIX shell
  ☆11Updated 5 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated this week
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 8 months ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆17Updated 7 months ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆16Updated 13 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 7 months 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 8 months ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 2 months ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆22Updated 3 years ago