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
- Learn programming, playing with ants and spider webs ;-)☆100Updated 2 years ago
- epsilon is a scanner generator☆28Updated 3 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- McLulang: The message is the language☆11Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 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…☆45Updated 7 months ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 12 years ago
- literate programming meets unison☆29Updated this week
- Automatically exported from code.google.com/p/joypy☆29Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated last year
- Learning Constraint Programming with Picat☆41Updated last week
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 11 months ago
- An Impractical Stack Language☆14Updated 5 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- A simple static website generator, written in OCaml☆24Updated this week
- A mini language for logic programming☆23Updated 5 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 5 years ago
- ☆19Updated 8 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- The Coil Programming Language☆33Updated last year
- lang befunge 93 fast☆21Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- ☆24Updated 3 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Updated last week