๐ฎ๐น Made in Italy
Discover Italy's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Italy.
TOP OCaml Projects
astrada/google-drive-ocamlfuse
FUSE filesystem over Google Drive
astrada/ppx_bs_css
A ppx rewriter for CSS expressions.
astrada/gapi-ocaml
A simple OCaml client for Google Services.
0x0f0f0f/gobba
A purely functional dynamically typed programming language.
dakk/bitcoinml
Bitcoin data-structures library for OCaml
puemos/reasonml-astar-maze
A-star search algorithm written in ReasonML
pdonadeo/ocaml-lua
Lua bindings for OCaml
alvisespano/Polygen
The famous random sentence generator.
astrada/rxocaml
An OCaml implementation of Rx Observables
astrada/ocaml-css-parser
A CSS parser written in OCaml
aryx/fork-efuns
An Emacs clone written in OCaml
ManuelLerchner/fpv-tutorial-SS23
Materialien fรผr das FPV-Tutorium im Sommersemester 2023
aryx/syncweb
literate programming meets unison
aryx/lfs
logic file system
dakk/secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
aryx/yacfe
Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.
ftovagliari/ocamleditor
OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. Runs on Linux and Windows.
aryx/xix
Plan9 software ported to OCaml
parof/rat
๐ Regular Expression Denial of Service analyzer.
astrada/bs-react-fela
BuckleScript bindings for react-fela
illbexyz/repong
A Pong game made with ReasonML
astrada/reason-react-toolbox
Reason bindings for react-toolbox
dakk/caravand-fullnode
Type-safe bitcoin full-node
astrada/reason-rt-binding-generator
Reason binding generator for react-toolbox
aryx/ocamltarzan
Compile Time Reflection or Metaprogramming for OCaml
steinuil/xobl
[WIP] Pure OCaml bindings to the X11 protocol
sacerdot/ocaml-http
steinuil/nene
Utility to automate downloads of torrent series
dakk/yallo-lang
A smart contract language for Tezos
aryx/fork-tiger
pad's fork of tiger for c--
astrada/bs-react-fela-examples
BuckleScript react-fela examples
astrada/bs-styletron-react
BuckleScript bindings for styletron-react
astrada/ocaml-extjs
Ext JS 4.x bindings for js_of_ocaml
dakk/caml_qiskit
OCaml wrapper for Qiskit quantum computing toolkit
aryx/fork-mmm
pad's fork of ocaml mmm web browser
blockchain-unica/defi-workbench
dakk/lambda
ฮป-calculus ocaml library
astrada/bs-styletron-react-examples
BuckleScript styletron-react examples
matteobusi/incremental-mincaml
Incremental typing for a small subset of OCaml
illbexyz/advent-of-code-2020
Solutions for Advent of Code 2020 in OCaml
pNre/Relevant-XKCD-Bot
Inline Telegram bot to search XKCD comics
pNre/Hera
Telegram bot that does stuff
pNre/gram
Command line based, bare-bones client for Telegram
xLinkOut/pr2-ocaml
๐ซ๐ OCaml midterm project for 'Advanced Programming' course @ UniPi.
dakk/sail-gadgets
Sailing Gadgets in a fancy realtime UI
mell-o-tron/Lambda-Maj7
The ฮป-maj7 Programming Language (the name is a joke, looking for a better one)
aryx/codemap
Source code visualizer
aryx/codegraph
Source code dependencies visualizer
dariooddenino/bs-react-router-dom
pNre/Spotify-to-Apple-Music
Copy a playlist from Spotify to Apple Music
dakk/opencmd2
Open-source Commandos2 game engine
dakk/caravand
Bitcoin light node for c-lightning
dakk/f3l-lang
A functional low level language subset of OCaml
dakk/nmea
NMEA sentence parser for OCaml
aryx/meh
un brouteur web
dakk/osat
OCaml experimental sat3 solver
dakk/letlight
Lightning networks implementation
astrada/pa_extjs
js_of_ocaml custom syntax extension
pNre/advent-of-code-21
๐ช
ImBadnick/SimpleInterpreterInOCAML
Definition of a simple Interpreter in OCAML for a university project (PR2 course).
dakk/camping-tycoon
experiment using tsdl
looganxx/OCamlProject
tommasoturchi/JLL
Java-Like Language compiler
marcoantoniocorallo/EsoCaml
Small esoteric language, inspired by reMorse and Ocaml
aryx/fork-ocsigen
pad's fork of ocaml ocsigen web server
aryx/commons-ocaml-pad
my own common OCaml library
SPY-Lab/apron-example
Taster98/Interpreter_Ocaml
This is an interpreter in Ocaml of Operational Semantics. It implements lots of basic operations, plus Dictionaries such as the ones of Python.
marcoantoniocorallo/Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
pNre/ocaml-data-structs
Some data structures implemented in OCaml
pNre/Ecb
Telegram bot to stay up to date on the events of the financial world
etnadb/lava
The Etna Query Language tokenizer, parser, and lexer.
marcoantoniocorallo/OCaML-Interpreter
Secondo progetto universitario del corso di Programmazione II
dakk/eth-ml
Educational purpose implementation of ethereum yellow paper
illbexyz/ocaml-gi-gtk
Generate Gtk3 bindings for OCaml
dakk/lambda-gp
dummy experiments over genetic programming using lambda calculus
Alex23087/chupikapi
aryx/fork-rolling-moon
Landisit8/OCaml
Progetto O'caml 2020/2021, (Fa schifo)
aryx/fork-efuns-old
pad's fork of efuns
giacomocavalieri/ocaml-effects-experiments
Experimenting with Ocaml 5 zeroth release's effect system
giacomocavalieri/ocaml-multicore-experiments
Experimenting with Ocaml 5 zeroth release's multicore support
alefais/pr2-14
Projects of the Programming 2 course of the Computer Science Bachelor's Degree @ University of Pisa
astrada/reason-react-toolbox-example
Example for reason-react-toolbox
FraMecca/ffbench
test different ffmpeg trascoding settings
lombardo-luca/Set-ML
A simple didactic functional language, extended to work on set data structures. Part of a "Programming II" project for University of Pisa.
matteobusi/minrt
gabrielelana/99-OCaml
99 Lisp Problems in OCaml
sacerdot/closure-conversion-machine
Artifact for the Closure Conversion and Abstract Machines paper
andreabazerla/ocaml-interpreter
Operational recursive interpreter created in OCaml with operations on strings, parser for reflection and dynamic information control flow through taint analysis.
alexandrabradan/PR2Projects
Project for the realization of a Java and OCaml module, held in the course of Programming 2 at University of Pisa.
FraMecca/inria-internship
jfet97/microc
A compiler written in OCaml for the Languages, Compilers & Interpreters course @ UniPi.
sacerdot/sesame
Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of the initial term
jfet97/progetto-ocaml-pr2
Progetto di OCaml - Esame di Programmazione II @ UniPi (2020 - 2021)
skiby7/ProgettoOcaml
Van forte i cammelli ๐ซ
pigoz/persona4-save-editor
WIP, not usable yet. Just a ReasonML experiment for now
guancio/bap
bap
sacerdot/SCAM
The implementation of the Strong Crumbling Abstract Machine (SCAM) for the Strong Call-by-value lambda-calculus (see paper at LICS 2021)
atzoriandrea/LIP2019