akshayrangasai / IITMLatextResume
Compact LaTeX Template for the standard institute format. This is a modification of MR Bharath's LaTeX template. I've made it more compact and added a small table option
☆11Updated 8 years ago
Alternatives and similar repositories for IITMLatextResume:
Users that are interested in IITMLatextResume are comparing it to the libraries listed below
- ☆125Updated 7 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- CS Graduate Job Guide☆32Updated 4 months ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 4 years ago
- ☆101Updated 4 years ago
- A ready-to-use Jemdoc-based website for research groups and similar organizations. It also contains a dynamic news/RSS-feed system which …☆10Updated 2 years ago
- Program Synthesis Course☆250Updated last year
- Collection of resources for research concerning Machine Learning and Formal Methods.☆84Updated 3 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆87Updated 4 months ago
- ☆22Updated 4 years ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated 11 months ago
- IC3PO: IC3 for Proving Protocol Properties☆26Updated 6 months ago
- Duplicate repository of Datastructures☆25Updated 3 years ago
- Academic Statement of Purpose LaTeX Template☆23Updated 12 years ago
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆23Updated 3 years ago
- A model checker for infinite-state systems.☆74Updated 3 months ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 6 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- PL conference deadline countdowns☆57Updated last week
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- A program logic for concurrent randomized programs☆11Updated 6 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆49Updated 8 years ago
- ☆17Updated last year
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆12Updated 11 months ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆36Updated 6 years ago
- ☆47Updated 4 months ago