aguillon's repositories
ligo-pytezos
A collection of educational examples of smart contracts for the Tezos blockchain
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
data-science-types
Stubs, i.e., type information, for numpy, pandas and matplotlib
demo-animation-matplotlib
Exemple de système dynamique pour les L1 de Sorbonne Université inscrits dans le projet DYNAMIC + tutoriel sur les animations. Codé en Python dans le style procédural enseigné en L1.
easier-proofs
A project which aim to help engineers to make proves easily
FoxDot
Python driven environment for Live Coding
knowledge
backup of Gitbook knowledge DB
ligo
Temporary fork of Ligo 0.60 allowing a speedup of Checker compilation
ligo-fa2
FA2 LIGO Smart Contracts.
muhokama
A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries
NFT-factory-cameligo
Exemple of a NFT Factory contract in CameLIGO
papiers
A tool to index your papers/interesting links/... and quickly search through them
svelte-tradingview-widget
Svelte component for rendering the TradingView Advanced Real-Time Chart Widget
taquito
A library for building dApps on the Tezos Blockchain - JavaScript / TypeScript
tezos-ligo
Temporary workaround to speedup Checker compilation
tzportal
Layer 1 <-> Layer 2 exchange application for DEKU and SCORU