Beast code in Giters

Roberto Pettinau's repositories

algoml

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

Language:OCamlMIT25 3 1

pacman

Language:C200

algoml-vscode

MIT100

algorand-vaults

MIT100

mev-finder

Language:Haskell100

beaker

A framework for writing Smart Contracts on Algorand

Language:PythonMIT000

bolt

Bolt is a language with in-built data-race freedom!

Language:OCamlMIT000

c-ares

A C library for asynchronous DNS requests

Language:C++NOASSERTION000

cleanic

Language:Java000

crypy

Language:PythonMIT000

writeups

Language:Python010

contracts-verification-benchmark

Language:Solidity000

decash-utils

Different utilities for development on top of DeCash.

NOASSERTION000

devotion

000

Idris-dev

A Dependently Typed Functional Programming Language

NOASSERTION000

js-algorand-sdk

The official JavaScript SDK for Algorand.

MIT000

lean4

Lean 4 programming language and theorem prover

Apache-2.0000

libcfinder

Language:Python000

Mic1

Language:Java000

petitnau.github.io

Language:HTML000

rars

RARS -- RISC-V Assembler and Runtime Simulator

Language:JavaNOASSERTION000