DracoBlue / markdown-papersLinks
Use a specific markdown file to write proper formatted papers and articles.
☆21Updated 14 years ago
Alternatives and similar repositories for markdown-papers
Users that are interested in markdown-papers are comparing it to the libraries listed below
Sorting:
- Python term rewriting☆30Updated 12 years ago
- Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.☆83Updated 2 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- run z3 on iOS for some reason☆38Updated 3 years ago
- Sublime text plugin for live value watching for interpreted languages☆36Updated 9 years ago
- Hide secret information in typographical errors☆31Updated 10 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- Your Access To Data☆73Updated 3 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- ☆17Updated 11 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Updated 7 years ago
- Docker container for an OCaml + OPAM setup☆24Updated 9 years ago
- Lack of information cannot be used as an excuse for not furthering your knowledge. Every city has a public library full of appropriate bo…☆18Updated 8 years ago
- A backdoor embedded with Twitter Player Card☆12Updated 8 years ago
- Python Library for Lazy Interfaces☆35Updated 7 years ago
- Creates random text using a markov chain generator then removes some grammatically incorrect sentences. I believe it's the best or one of…☆11Updated 9 years ago
- ☆23Updated 14 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- A programming language.☆21Updated 8 years ago
- Lapwing is program to help birders analyze their personal eBird sightings. It has a graphical user interface that lets users create filte…☆12Updated 5 years ago
- what i'm reading. read me.☆38Updated 10 years ago
- Current development for Call Map takes place at https://github.com/ajylee/call_map. Call Map is a tool for navigating Python call graphs.…☆29Updated 4 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- Sha256 vulnerability for full rounds. Circular hash attack.☆156Updated 8 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- System tracer implementation in Rust☆32Updated 9 years ago
- identifies and tracks known mac addresses on your subnet☆13Updated 9 years ago
- An Automatic CS Paper Generator☆28Updated 14 years ago
- CVE-2016-5195 exploit written in Crystal☆13Updated 9 years ago
- a syntax directed editor☆17Updated last year