O

ocaml

SmartPy

Smart Contracts on Tezos

A comprehensive solution for developing, testing, and deploying smart contracts on the Tezos blockchain. All in familiar Python syntax.

A test framework for OCaml, suited for writing and executing unit, integration and regression tests and focusing on user experience.

Midi Sequencer Using Jack

Generic Unspecific Algorithmic in OCaml

Free as in freedom Digital Referencing tool for Artists.

CI/CD components for the OCaml language.

https://ocaml.org

Dépots de mes cours de Double Licence à l'USPN.

libCUDF is a reference implementation of CUDF (Common Upgradeability Description Format), a document format to describe package upgrade scenarios, in a package manager agnostic way.

Software project for the Software verification course (UNIPD). It implements an abstract interpreter for a (toy) imperative language

GitLab CI Inspector, or gci for short, is a tool for working with GitLab CI configuration files , e.g. .gitlab-ci.yml. It can be used to lint CI configurations (using GitLab's api), to merge multi-file CI configurations into single YAML files, to debug template extension and comparing configurations (and much more!).

Chancereul Arthur et Abi Ayad Mounir

Proper modulo operators for OCaml

an implementation of the 2048 game in ocaml

odoc: https://ml2048-midorishibukawa-775a02669f053cf7bd8103c56ab79c5a39b9255a.gitlab.io/

this is where most of my programming-related ramblings live. https://devlog.midori.shibukawa.io/

Detect Called Programmed In Script (dcpis) is a CLI utility which accomplishes two tasks on POSIX scripts. The first is validating their syntax. The second is printing to stdout a space delimited list of immediately called proprams which could not be found in $PATH. This script does not evaluate the script, and so any programs which might be called from called programs or from generated code cannot be determined and will not be reported.

Implémentation d'un interpréteur pour le langage LATSI (Langage très simple d’instructions) en OCaml, Ocamllex et Menhir.

Un programme peut être vide mais déclenche une erreur à l’exécution. Quand un programme LATSI contient plusieurs lignes avec le même numéro, la dernière ligne est utilisée. Les lignes d’un programme ne sont pas forcément ordonnées par leur numéro. L’exécution d’un programme LATSI commence par la ligne avec le plus petit numéro. La ligne est exécutée (voir ci-dessous une description de chaque instruction) et on passe soit à la ligne non vide suivante, soit à la ligne indiquée par l’instruction VAVERS. Si, à la fin, il n’y a plus de ligne non vide, le programme s’arrête.

Grammaire : : := {} EOF : := CR : := IMPRIME | SI ALORS | VAVERS | ENTREE | = | FIN | REM | NL : := (| ) {, (| ) } : := {, } : := [+|-] {(+|-) } : := {(|/) } : := | | "("")" , , , et sont donnés par les expressions rationnelles suivantes : : := A | B | C ... | Y | Z : := : := 0 | 1 | 2 | 3 | ... | 8 | 9 : := <(>|=| ϵ) | >(<|=| ϵ) | = : := "[ ,’_ ; :().a-zA-Z]*"

ADN et reconnaissance par expressions régulières en OCaml

This project implements a scraper for the GitLab Jobs API storing the scraped jobs in a SQLite3 database.