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
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- Bridge the terminal and browser☆18Updated last year
- An OCaml extension for RISC-V☆16Updated 4 years ago
- epsilon is a scanner generator☆28Updated 2 years ago
- Automatically exported from code.google.com/p/joypy☆28Updated 7 years ago
- Foundations of Computer Science notebooks☆16Updated 6 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 3 months ago
- A simple static website generator, written in OCaml☆23Updated 3 years ago
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- a makefile linter☆20Updated 8 years ago
- ☆19Updated 8 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 6 months ago
- Time management system for autodidacts.☆15Updated 2 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated 2 weeks ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆14Updated 2 years ago
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆24Updated 11 months ago
- Plan9 software ported to OCaml☆25Updated last year
- Ocaml modular spam filter☆16Updated 7 months ago
- First-order automated theorem prover based on the tableau method☆15Updated 5 months ago
- A Lisp in Crystal☆8Updated 9 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- ☆14Updated 2 years ago
- Multinomials for the Mathematical Components library.☆14Updated last week
- A random generator of Lua programs☆11Updated 3 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Numerical Optimisation Library☆16Updated last year
- A language for writing command line interfaces in Racket☆15Updated 3 years ago