petitnau

Pinned Repositories

rosetta-smart-contracts
Language:Rust20 8 01
contracts-verification-benchmark
An open benchmark for evaluating smart contracts verification tools.
Language:Solidity116
algorand-games-platform
Project for International School on Algorand Smart Contracts.
Language:Python21
algoml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
Language:OCaml24 3 15
algoml-vscode
11
algorand-vaults
1 2 02
beaker
A framework for writing Smart Contracts on Algorand
Language:Python0 0 00
bolt
Bolt is a language with in-built data-race freedom!
Language:OCaml0 0 00
mev-finder
Language:Haskell1 1 00
pacman
Language:C2 1 00

petitnau's Repositories

petitnau/algoml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
Language:OCaml24 3 15
petitnau/pacman
Language:C2 1 00
petitnau/algoml-vscode
11
petitnau/algorand-vaults
1 2 02
petitnau/mev-finder
Language:Haskell1 1 00
petitnau/beaker
A framework for writing Smart Contracts on Algorand
Language:Python0 0 00
petitnau/bolt
Bolt is a language with in-built data-race freedom!
Language:OCaml0 0 00
petitnau/c-ares
A C library for asynchronous DNS requests
Language:C++0 0 00
petitnau/cleanic
Language:Java0 1 00
petitnau/crypy
Language:Python0 1 00
petitnau/writeups
Language:Python0 1 00
petitnau/contracts-verification-benchmark
Language:Solidity0 0
petitnau/decash-utils
Different utilities for development on top of DeCash.
petitnau/devotion
petitnau/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell0 0
petitnau/js-algorand-sdk
The official JavaScript SDK for Algorand.
Language:TypeScript0 0
petitnau/lean-pfl
Language:Lean
petitnau/lean4
Lean 4 programming language and theorem prover
petitnau/libcfinder
Language:Python
petitnau/Mic1
Language:Java
petitnau/petitnau.github.io
Language:HTML1 0
petitnau/rars
RARS -- RISC-V Assembler and Runtime Simulator
Language:Java0 0
petitnau/slang-template