rjwalls / paper-templateLinks
A generic starting template for writing research papers.
☆14Updated 6 years ago
Alternatives and similar repositories for paper-template
Users that are interested in paper-template are comparing it to the libraries listed below
Sorting:
- ☆16Updated 9 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 13 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Research Debt☆26Updated 7 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14Updated 4 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆10Updated 8 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 6 years ago
- Corpus of crypto formats☆12Updated 2 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- RISECamp Tutorials☆38Updated 5 years ago
- Python code for 1) permuting randomly-generated passwords for easier entry on mobile devices, and 2) for estimating entropy lost as a res…☆16Updated 9 years ago
- Simplified interface for syntax trees and program models.☆16Updated 2 years ago
- ☆10Updated 10 years ago
- git://git.savannah.gnu.org/patch.git☆12Updated last year
- A playable version of the j-archive☆24Updated 6 years ago
- Scientific library for high-precision computations and research☆49Updated 7 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 5 years ago
- Program Round-off Error Certifier via Static Analysis☆50Updated 2 weeks ago
- Python code optimizer.☆20Updated 10 years ago
- Hazmat ECC arithmetic for Cryptography.io☆28Updated 5 years ago
- ☆20Updated 9 years ago
- a collection of teaching resources☆12Updated 7 years ago
- Machine Learning Benchmark Scripts☆107Updated 5 years ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆30Updated 6 years ago
- Generate strong passwords using /dev/urandom 👻☆15Updated 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
- A declarative, parameter-parsing library that provides multiple parsing interfaces (YAML, command line, and JSON)☆13Updated 4 years ago