Stevendeo
I'm a computer scientist that loves to play Go and that is not very imaginative when it's about finding good usernames.
Pinned Repositories
alt-ergo
OCamlPro public development repository for Alt-Ergo
awesome-solidity
:small_blue_diamond: A curated list of awesome Solidity resources, libraries, tools and more
CaFE
A prototype of model-checker
ez-api
Easy API library over ocplib-resto/ocplib-directory
ez-pgocaml
ezjs
Some useful libraries to work with `js_of_ocaml`
freeton_ocaml_sdk
Tooling for FreeTON in OCaml
freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Pilat
Invariant generator for polynomial loops
Stevendeo's Repositories
Stevendeo/Pilat
Invariant generator for polynomial loops
Stevendeo/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Stevendeo/alt-ergo
OCamlPro public development repository for Alt-Ergo
Stevendeo/awesome-solidity
:small_blue_diamond: A curated list of awesome Solidity resources, libraries, tools and more
Stevendeo/CaFE
A prototype of model-checker
Stevendeo/ez-api
Easy API library over ocplib-resto/ocplib-directory
Stevendeo/ez-pgocaml
Stevendeo/ezjs
Some useful libraries to work with `js_of_ocaml`
Stevendeo/freeton_ocaml_sdk
Tooling for FreeTON in OCaml
Stevendeo/freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
Stevendeo/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Stevendeo/ocaml-github
GitHub APIv3 OCaml bindings
Stevendeo/ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
Stevendeo/Puzzle_humain
Un algo de génération de puzzle
Stevendeo/benchtop
A web interface for Benchpress
Stevendeo/bitpack_serializer
This library provides functions for encoding efficiently simple OCaml data.
Stevendeo/drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Stevendeo/drom-share
Share directory for `drom` (skeletons, licenses, etc.)
Stevendeo/ez_cmdliner
Easy Cmdliner
Stevendeo/ez_config
Library to read/write configuration files in OCaml syntax
Stevendeo/ez_file
Library with helpers to manipulate files, read/write their content, search directories, etc.
Stevendeo/ezjs_timeline
OCaml bindings for TimelineJS
Stevendeo/gedcom-anonymizer
Stevendeo/ocp-opam-repository
A repository for OCamlPro packages waiting for inclusion in opam-repository
Stevendeo/ocplib-json-typed
Libraries for reliable manipulation JSON objects.
Stevendeo/ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
Stevendeo/ocplib_stuff
This library contains some basic stuff that is used in some OCP libraries and applications. Most of them are probably available in other extensions of the standard libraries (extlib, core, etc.), but we are used to these ones.
Stevendeo/superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
Stevendeo/test-cgl
Stevendeo/typocaml
An OCaml library for autocorrection and autocompletion