A slightly improved variant of the official thesis sample
☆16Apr 18, 2023Updated 3 years ago
Alternatives and similar repositories for better-thesis
Users that are interested in better-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- adopting gltf 2.0 standard to work towards 3d asset interoperability☆14Jan 3, 2022Updated 4 years ago
- Modern, opinionated, and gas optimized building blocks for smart contract development.☆12Mar 23, 2022Updated 4 years ago
- ☆15Dec 7, 2021Updated 4 years ago
- Supplementary materials for the course of "Concepts of Modern Programming Languages" (NPRG014) taught at Charles University, Prague, Czec…☆27Updated this week
- For Solidity practice, I tried to rebuild the base ENS contracts from the EIP-137.☆21Jan 2, 2022Updated 4 years 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.
- An experimental Solidity-based web framework☆24Jan 1, 2022Updated 4 years ago
- A repository to contain contracts for learning Solidity smart contract development.☆21Jan 22, 2026Updated 9 months ago
- 🚏 Public transport departures from nearest station☆11Oct 20, 2026Updated 2 weeks ago
- 🧸 💸 Determine the rarity of floor NFTs on OpenSea.☆36Mar 27, 2022Updated 4 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic.☆43Oct 10, 2026Updated 3 weeks ago
- A Starknet React Provider and Connectors inspired by web3-react library☆40Aug 11, 2022Updated 4 years ago
- All you need to sign ERC2612 and DAI permits with wagmi and viem☆35Nov 17, 2024Updated last year
- An end to end test suite for the OP Stack☆17Apr 24, 2023Updated 3 years ago
- being some thoughts about introductory mathematics for computer science☆17May 4, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of libraries to be implemented for Automated Market Makers built in Sway.☆56Jan 19, 2023Updated 3 years ago
- ☆33Mar 6, 2021Updated 5 years ago
- Automatically fix all software bugs.☆20Aug 10, 2025Updated last year
- A Docker 🐳 container with CUNI.CZ PDF/A validation profile☆15Feb 7, 2026Updated 8 months ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- ☆10Apr 23, 2026Updated 6 months ago
- ☆15Dec 27, 2023Updated 2 years ago
- This repository implements a simple fork test on Optimism that proves that the EVM behaviour of the forked chain is not identically repli…☆15Updated this week
- This repository demonstrates how to integrate the @plutoxyz/web-proofs library in both vanilla JavaScript and React applications.☆10Mar 12, 2025Updated last year
- 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 persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 3 years ago
- ☆11Sep 12, 2023Updated 3 years ago
- Example project for forge☆54Mar 26, 2022Updated 4 years ago
- 10k crowdsourced images for training segnets☆16Dec 11, 2020Updated 5 years ago
- ☆13Mar 14, 2023Updated 3 years ago
- ☆17Mar 8, 2023Updated 3 years ago
- ☆10May 18, 2023Updated 3 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Jun 24, 2026Updated 4 months ago
- ☆12Mar 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Verbosely Documented, Minimal Starknet Contract Examples.☆68Mar 7, 2022Updated 4 years ago
- zkSnark circuit compiler☆13Oct 21, 2026Updated 2 weeks ago
- ☆12May 5, 2022Updated 4 years ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated 2 years ago
- CLI for importing Sourcify verified contract to Etherscan in the simplest and fastest way☆10Jun 18, 2023Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- A developer's guide to building dapps on Fuel.☆14Sep 15, 2022Updated 4 years ago