a-nikolaev / study-in-scarlet
A simple Unix-friendly toolkit for plagiarism detection.
☆19Updated 4 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
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- a makefile linter☆20Updated 8 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A general purpose relational language☆20Updated 5 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- An Impractical Stack Language☆14Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 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…☆40Updated 2 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 5 months ago
- git mirror with some local fixes. currently not uptodate☆15Updated 2 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Time management system for autodidacts.☆15Updated 2 years ago
- Prolog Implementation in Python☆11Updated 7 years ago
- Learn Lean and topology☆21Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- Particle Syntax Website☆16Updated 6 months ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- ☆19Updated 8 years ago
- A random generator of Lua programs☆11Updated 3 years ago
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Use SQL to instantly query stories, users and other items from Hacker News. Open source CLI. No DB required.☆17Updated 5 months ago
- Omnino is a windowing system for web applications.☆57Updated last year
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 months ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- Online BDD Simulation Tool☆18Updated 2 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago