MIT unofficial thesis template from overleaf, updated for 2023
☆18May 14, 2023Updated 3 years ago
Alternatives and similar repositories for mit-thesis-template
Users that are interested in mit-thesis-template are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust implementation for zcash/pasta☆84Apr 20, 2026Updated last month
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`☆139Mar 16, 2026Updated 2 months ago
- A collection of small utilities for working with pointer types in Rust.☆135Mar 29, 2026Updated 2 months ago
- ☆114Feb 6, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Efficient and Interactive Zero-Knowledge Proofs☆108May 20, 2026Updated last week
- A simple bitset container for Rust☆171Jun 22, 2025Updated 11 months ago
- C++ library for IOP-based zkSNARKs☆180Jan 12, 2024Updated 2 years ago
- A Java library for zk-SNARK circuits☆218Dec 17, 2022Updated 3 years ago
- A suite of Rust libraries for secure multi-party computation.☆352May 18, 2026Updated last week
- Rust implementation of the TLSNotary protocol☆420May 22, 2026Updated last week
- For educational purposes only, samples of ransomware/wiper trojans including screenshots/ransom-notes.☆482Mar 21, 2026Updated 2 months ago
- The proof systems used by Mina☆460May 20, 2026Updated last week
- Near Zero-Overhead Python Code Coverage☆583May 12, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A transaction processor for a hypothetical, general-purpose, central bank digital currency☆927Mar 20, 2025Updated last year
- Blazing fast concurrent HashMap for Rust.☆4,045May 17, 2026Updated last week
- The Halo2 zero-knowledge proving system☆902Mar 9, 2026Updated 2 months ago
- Improved Yank and Put functionalities for Neovim☆1,260May 20, 2026Updated last week
- AI on the way. An RDBMS approach to deep learning. Declarative, explainable, scalable, optimizable, easy to deploy, all that good stuff.☆1,820Updated this week
- Ctf solutions from p4 team☆1,840Sep 18, 2024Updated last year
- Malware Samples. Uploaded to GitHub for those want to analyse the code. Code mostly from: http://www.malwaretech.com☆1,166Apr 14, 2025Updated last year
- Fast strong hash functions: SipHash/HighwayHash☆1,601Apr 18, 2024Updated 2 years ago
- Generate x86 Assembly with Go☆2,968May 1, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C++ library for zkSNARKs☆1,925Jun 12, 2025Updated 11 months ago
- A modern, cross-platform, multi-threaded, and general purpose filesystem and disk-usage utility that is aware of .gitignore and hidden fi…☆2,580May 19, 2024Updated 2 years ago
- A personal search engine: Create a searchable library from your personal documents, interests, and more!☆2,727Jun 27, 2025Updated 11 months ago
- Goroutine leak detector☆5,192Dec 10, 2025Updated 5 months ago
- Command-line sampling profiler for macOS, Linux, and Windows☆4,207May 19, 2026Updated last week
- Rich-cli is a command line toolbox for fancy output in the terminal☆3,671May 19, 2026Updated last week
- A tiling window manager for Adventurers☆3,051Apr 8, 2026Updated last month
- For educational purposes only, exhaustive samples of 500+ classic/modern trojan builders including screenshots.☆3,925May 20, 2026Updated last week
- The simple but flexible text editor☆3,703Apr 23, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Task-Aware Agent-driven Prompt Optimization Framework☆3,867Oct 13, 2025Updated 7 months ago
- A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).☆5,798Jan 23, 2026Updated 4 months ago
- FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.☆4,033Updated this week
- OpenAI Baselines: high-quality implementations of reinforcement learning algorithms☆16,719Aug 1, 2024Updated last year
- Monitor Memory usage of Python code☆4,569Apr 29, 2024Updated 2 years ago
- A memory profiler for Linux.☆4,781Jul 28, 2023Updated 2 years ago
- Replace zsh's default completion selection menu with fzf!☆4,734May 13, 2026Updated 2 weeks ago