Lists (17)
Stars
🧸 A Hugo theme based on »Bear Blog«. Free, no-nonsense, super-fast blogging. This theme now includes a dark color scheme to support dark mode 🦉 ⬛️!
A template for blueprint-driven formalization projects in Lean.
The standard template to create a lean game
An opinionated and extremely minimal blogging template. 📝
Learn the Zig programming language by fixing tiny broken programs.
A simple cross platform template for windows, linux, and MacOS
Minimal template for using the Arbiter framework for simulations.
A simple template to perform whitehacks safely
FinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.
A template for projects writting smart contracts that use vulcan for testing
An opinionated template for Foundry projects.
📚 A Neovim config designed from scratch to be understandable
Bootstrap your MEV bot strategies with a simple boilerplate to build on top of.
A repo dedicated to showing how to make smart contracts in a purely pythonic environment
A forkable template repo for easily writing and testing toy contracts
Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development
⚒️ Start your next Solidity project with Foundry in seconds
Foundry-based template for developing Solidity smart contracts
A repo for boilerplate code for testing, deploying, and shipping chainlink solidity code.
Template to develop ethereum smart contracts
A quick-start template for using home-manager in a more reproducible way.
Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]
Based on nix.dev tutorials, repository template to get you started with Nix.
Template for an ocaml project with modern tooling