a-nikolaev / study-in-scarletLinks
A simple Unix-friendly toolkit for plagiarism detection.
☆19Updated 5 years ago
Alternatives and similar repositories for study-in-scarlet
Users that are interested in study-in-scarlet are comparing it to the libraries listed below
Sorting:
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A mini language for logic programming☆23Updated 5 years ago
- 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 8 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated 2 months ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 12 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 5 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- An extremely concatenative programming language☆22Updated 2 years ago
- Command line editor, C api, readline replacement☆25Updated 9 months ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Learn programming, playing with ants and spider webs ;-)☆102Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Updated 4 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 6 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 9 months ago
- A simple static website generator, written in OCaml☆24Updated 2 weeks ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- literate programming meets unison☆29Updated last month
- An Impractical Stack Language☆14Updated 5 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated last year
- S-expression swiss knife☆47Updated last week
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Updated 9 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 3 years ago