-
solidity Public
Forked from argotorg/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedNov 13, 2025 -
rosetta-smart-contracts Public
Forked from blockchain-unica/rosetta-smart-contractsA chrestomathy of smart contracts in different smart contract languages
Rust Apache License 2.0 UpdatedNov 13, 2025 -
hevm Public
Forked from argotorg/hevmSymbolic and concrete EVM execution engine
Haskell GNU Affero General Public License v3.0 UpdatedSep 4, 2025 -
bitml2mcmas Public
Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker
-
-
-
python-project-template Public template
Yet another Python project template.
-
my-bookshelf Public
Collection of books/papers that I've read/I'm going to read/I would remember that they exist/It is unlikely that I'll read/I'll never read.
-
MDP-Planner-Chip-Production Public
Forked from luusi/MDP-Planner-Chip-ProductionPython MIT License UpdatedJan 21, 2024 -
my-cmake-template Public
Repository template for CMake projects.
-
-
AIDA2 Public
Forked from DIAG-Sapienza-BPM-Smart-Spaces/AIDAA tool for composition of services in smart manufacturing
-
-
scibench Public
General framework for experiment benchmarking in academic research
-
-
rltg-examples Public
Reinforcement Learning examples using RLTG
-
zero-intelligence-plus-code Public
Code of the seminal paper "Minimal Intelligence Agents for Bargaining Behaviours in Market-Based Environments"
-
marcofavorito Public
-
mic-toolbox Public
Forked from Sylvain-Barde/mic-toolboxToolbox for implementation of the Markov information criterion
-
open-aea Public
Forked from valory-xyz/open-aeaA framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors
-
yarllib Public
Yet Another Reinforcement Learning Library.
-
micrograd-js Public
A porting of Karpathy's Micrograd to JS
-
beamer-template Public template
My Beamer template.
-
latex-beamerposter Public
Forked from deselaers/latex-beamerposterThe LaTeX beamerposter package
TeX GNU General Public License v2.0 UpdatedDec 13, 2021 -
ethereum-whitepaper Public
Reproducing the Ethereum Whitepaper using Manubot
-
tl-grammars Public
Grammars for temporal logic formalisms.
-
latex-template Public template
My Latex template.
-
docs-template Public template
Template for documentation.
-
jekyll-pdf Public
Forked from abemedia/jekyll-pdfCreate PDFs from Jekyll pages & documents.
-
google-hashcode-2021 Public
Repository for Google HashCode 2021
{{ message }}