DracoBlue / markdown-papersLinks
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
Sorting:
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- Sha256 vulnerability for full rounds. Circular hash attack.☆155Updated 8 years ago
- Your Access To Data☆73Updated 3 years ago
- run z3 on iOS for some reason☆38Updated 3 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- HOL Guidebook☆11Updated 11 months ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- Python term rewriting☆30Updated 12 years ago
- Sublime text plugin for live value watching for interpreted languages☆36Updated 8 years ago
- Create a range of documents (PDF, .docx, html, spoken word) from a single Markdown source☆18Updated 6 years ago
- Python Library for Lazy Interfaces☆34Updated 6 years ago
- Fido is a minimalistic, IDE and language agnostic project generator supporting various toolchains and build systems.☆53Updated 6 years ago
- Build SVG charts from a Git repository.☆57Updated 4 months ago
- Xy-pic extension for MathJax☆62Updated 4 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
- Encodes data into printable Unicode characters.☆90Updated 4 months ago
- Hide secret information in typographical errors☆32Updated 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
- Jupyter Kernel for Xonsh☆22Updated 9 years ago
- ☆30Updated 11 years ago
- ☆16Updated 9 years ago
- Examples of documents written in ScholarlyMarkdown and converted with Scholdoc☆22Updated 10 years ago
- ☆23Updated 14 years ago
- ☆68Updated 7 years ago
- Hash-based password manager☆19Updated 6 years ago
- Tired of being told how to talk to YOUR computer? It's time we coded like the kids are typing these days.☆59Updated 15 years ago
- Allows the use of BibTeX citations within a Pelican site☆25Updated 5 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Dockerfiles for Sage☆52Updated 5 years ago
- ☆103Updated last year