Alternatives and similar repositories for study-in-scarlet:

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

• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• calroc / joypy
  Automatically exported from code.google.com/p/joypy
  ☆28Updated 7 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 7 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…
  ☆40Updated 3 weeks ago
• spro / lit
  Literate programming for any language. It's 🔥.
  ☆16Updated 6 years ago
• softprops / mint
  a makefile linter
  ☆20Updated 8 years ago
• salmonax / vitarka
  Time management system for autodidacts.
  ☆15Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Masa331 / xml_fiddler
  Tool for working with XML docs
  ☆19Updated 4 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆15Updated last year
• guardian / techtime
  General repository for everything techtime.
  ☆14Updated 8 months ago
• andychu / webpipe
  Bridge the terminal and browser
  ☆18Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 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
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated last month
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆17Updated 13 years ago
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆15Updated 2 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 7 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 11 months ago
• paysure / orinoco
  Functional composable pipelines allowing clean separation of the business logic and its implementation
  ☆11Updated 8 months ago