mff-cuni-cz / better-thesisLinks
A slightly improved variant of the official thesis sample
☆15Updated 2 years ago
Alternatives and similar repositories for better-thesis
Users that are interested in better-thesis are comparing it to the libraries listed below
Sorting:
- #SharingIsCaring #CaringIsSharing☆86Updated 5 months ago
- 👓☆15Updated 2 years ago
- ☆23Updated 3 years ago
- ☆15Updated 3 years ago
- ETHPrague☆31Updated last year
- poznámky z bakalářské informatiky na MFF UK☆11Updated this week
- A Two-Step Transfer Ownable contract implemented in Huff.☆16Updated 2 years ago
- Curta Challenge☆16Updated 2 years ago
- ☆9Updated 2 years ago
- This repository is for topologic and geometric data analysis.☆13Updated 2 years ago
- Pairing implementation for BLS12-381 in PIL☆10Updated 2 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- ☆33Updated last year
- rollup node experiments☆15Updated 3 years ago
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- ☆23Updated 2 years ago
- A fully decentralized and smart contract-based insurance protocol.☆25Updated 2 years ago
- RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.☆31Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- Solidity verifier for Recursive Proof Composition using Plonk☆12Updated 3 years ago
- Use `forge` and `cast` commands in Python scripts☆19Updated 3 years ago
- The official repository containing the documentation of the Sigma Protocols working group.☆16Updated last year
- Herodotus Data Processor using SP1 as backend☆16Updated 7 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆31Updated last month
- ☆16Updated last year
- ☆19Updated 2 years ago
- An experiment with stealth-addresses & EIP7702 on Odyssey testnet☆14Updated 6 months ago
- hubble-commander repository☆14Updated last year
- Demo of optimal Ate pairing implemented inside a zk-snark☆12Updated 3 years ago