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:
- Research Debt☆26Updated 7 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Updated 13 years ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- ☆18Updated 6 years ago
- Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack☆87Updated 7 years ago
- Assignments for the cryptography engineering course☆12Updated 11 years ago
- Source for: https://cirosantilli.com and https://ourbigbook.com/cirosantilli Build HTML with https://github.com/ourbigbook/ourbigbook wit…☆43Updated last week
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated last month
- 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
- EncFS Encrypted Filesystem☆39Updated 11 years ago
- Locates your Wi-Fi-enabled machine using Wi-Fi access points signal strengths, using Google's API☆20Updated 8 years ago
- RISECamp Tutorials☆38Updated 5 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Python program for creating static HTML image galleries☆23Updated 10 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 6 months ago
- ☆22Updated 4 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
- OSS-Fuzz - continuous fuzzing of open source software☆10Updated 8 years ago
- A self-contained firewall checker☆107Updated 3 years ago
- Intu is a Cognitive Embodiment Middleware for AI on the edge.☆31Updated 9 months ago
- Simplified interface for syntax trees and program models.☆16Updated 2 years ago
- A CUDA implementation of the Tsetlin Machine based on bitwise operators☆26Updated 6 years ago
- Docker Image with Matlab Compiler Runtime and SSHD☆15Updated 11 years ago
- Security-Oriented Analysis of Application Programs☆13Updated 6 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- Build simple social graphs for GitHub☆15Updated 10 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Berg - Run GPU-backed experiments on gcloud☆26Updated 6 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago