DracoBlue / markdown-papers
Use a specific markdown file to write proper formatted papers and articles.
☆21Updated 13 years ago
Alternatives and similar repositories for markdown-papers:
Users that are interested in markdown-papers are comparing it to the libraries listed below
- Proof of concept for converting any content into a domain name.☆310Updated 11 years ago
- ☆20Updated 9 years ago
- Server & client software for Firewall Cafe☆3Updated last week
- JSure is a fast, standalone Javascript checker.☆37Updated 7 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- Version control repository manager☆12Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- secure messaging, file-transfer, and directory synchronization☆41Updated 7 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15Updated 2 years ago
- run z3 on iOS for some reason☆38Updated 2 years ago
- A Python implementation of JOSE☆14Updated 5 years ago
- Print core memory of a given a process ID (linux specific)☆11Updated 7 years ago
- A blog about Coq☆10Updated 4 years ago
- Fast Python library for decrypting pgp messages☆17Updated 12 years ago
- Hash-based password manager☆19Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 2 months ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 4 years ago
- CVE-2016-5195 exploit written in Crystal☆12Updated 8 years ago
- Flexible, robust, and performant dependency analysis.☆20Updated 3 years ago
- Twitter Futures for Python☆58Updated 10 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- A meeting notes taking bot for Slack☆27Updated 9 years ago
- Markup language on top of Haskell☆12Updated 5 months ago
- turn a directory into a GUI, slash example of VNC-based GUI☆32Updated 4 years ago
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 5 years ago
- Python library for image hashing and deduplication☆11Updated 9 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Updated 8 years ago