MIT unofficial thesis template from overleaf, updated for 2023
☆17May 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:
- ☆32Apr 12, 2023Updated 3 years ago
- Jepsen tests for the Tendermint distributed byzantine consensus system☆26Sep 5, 2017Updated 9 years ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 3 years ago
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- Superconducting Qubits in Python☆284Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A pure-rust secp256k1 library optimised for fun☆112Updated this week
- Efficient and Interactive Zero-Knowledge Proofs☆110Jul 20, 2026Updated 2 months ago
- Bindings for writing a server that can act as MySQL/MariaDB☆172Feb 5, 2026Updated 8 months ago
- [Looking for new owners/maintainers, see #88] Rust implementation of Reed-Solomon erasure coding☆219Aug 30, 2023Updated 3 years ago
- C++ library for IOP-based zkSNARKs☆183Jan 12, 2024Updated 2 years ago
- Study materials for Bitcoin & Lightning Protocol☆289Mar 3, 2025Updated last year
- A Java library for zk-SNARK circuits☆216Dec 17, 2022Updated 3 years ago
- Timeloop performs modeling, mapping and code-generation for tensor algebra workloads on various accelerator architectures.☆531Jul 26, 2026Updated 2 months ago
- A suite of Rust libraries for secure multi-party computation.☆366Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- BLS signatures in C++, using the blst library for BLS12-381☆306Jul 2, 2025Updated last year
- ☆643Apr 5, 2026Updated 6 months ago
- Cuprate, a modular Monero node written in Rust.☆411Updated this week
- The proof systems used by Mina☆459Oct 7, 2026Updated last week
- QuTiP: Quantum Toolbox in Python☆2,088Updated this week
- [ICML 2024] Break the Sequential Dependency of LLM Inference Using Lookahead Decoding☆1,343Mar 6, 2025Updated last year
- A sampling CPU profiler for Linux☆903Oct 9, 2023Updated 3 years ago
- The Halo2 zero-knowledge proving system☆920Oct 9, 2026Updated last week
- cuTile is a programming model for writing parallel kernels for NVIDIA GPUs☆2,157Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Graph-aware TUI for the Beads issue tracker: PageRank, critical path, kanban, dependency DAG visualization, and robot-mode JSON API☆1,715Updated this week
- A list of awesome compiler projects and papers for tensor computation and deep learning.☆2,793Oct 19, 2024Updated last year
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,887Mar 25, 2026Updated 6 months ago
- Rust library for build scripts to compile C/C++ code into a Rust library☆2,161Updated this week
- C++ library for zkSNARKs☆1,930Jun 12, 2025Updated last year
- Goroutine leak detector☆5,294Sep 15, 2026Updated last month
- Generate x86 Assembly with Go☆2,990Oct 5, 2026Updated last week
- A cloud native embedded storage engine built on object storage.☆3,547Updated this week
- A tiling window manager for Adventurers☆3,048Sep 18, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).☆5,846Jan 23, 2026Updated 8 months ago
- The simple but flexible text editor☆3,749Apr 23, 2026Updated 5 months ago
- FlashInfer: Kernel Library for LLM Serving☆6,672Updated this week
- FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.☆4,191Updated this week
- A memory profiler for Linux.☆4,815Jul 28, 2023Updated 3 years ago
- Command-line sampling profiler for macOS, Linux, and Windows☆4,457Oct 5, 2026Updated last week
- A hackable, minimal, fast TUI file explorer☆4,841Oct 7, 2026Updated last week