🇮🇹 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
alvisespano/Polygen
The famous random sentence generator.
pdonadeo/ocaml-lua
Lua bindings for OCaml
puemos/reasonml-astar-maze
A-star search algorithm written in ReasonML
astrada/rxocaml
An OCaml implementation of Rx Observables
astrada/ocaml-css-parser
A CSS parser written in OCaml
ManuelLerchner/fpv-tutorial-SS23
Materialien für das FPV-Tutorium im Sommersemester 2023
aryx/fork-efuns
An Emacs clone written in OCaml
aryx/syncweb
literate programming meets unison
aryx/lfs
logic file system
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.
dakk/secp256k1-ml
Elliptic curve library secp256k1 wrapper for Ocaml
aryx/xix
Plan9 software ported to OCaml
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.
phreppo/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
dakk/yallo-lang
A smart contract language for Tezos
aryx/fork-tiger
pad's fork of tiger for c--
steinuil/nene
Utility to automate downloads of torrent series
astrada/bs-react-fela-examples
BuckleScript react-fela examples
astrada/bs-styletron-react
BuckleScript bindings for styletron-react
aryx/fork-mmm
pad's fork of ocaml mmm web browser
astrada/ocaml-extjs
Ext JS 4.x bindings for js_of_ocaml
dakk/caml_qiskit
OCaml wrapper for Qiskit quantum computing toolkit
dakk/lambda
λ-calculus ocaml library
blockchain-unica/defi-workbench
matteobusi/incremental-mincaml
Incremental typing for a small subset of OCaml
dakk/sail-gadgets
Sailing Gadgets in a fancy realtime UI
astrada/bs-styletron-react-examples
BuckleScript styletron-react examples
pNre/Hera
Telegram bot that does stuff
illbexyz/advent-of-code-2020
Solutions for Advent of Code 2020 in OCaml
pNre/Relevant-XKCD-Bot
Inline Telegram bot to search XKCD comics
xLinkOut/pr2-ocaml
🐫🎓 OCaml midterm project for 'Advanced Programming' course @ UniPi.
mell-o-tron/Lambda-Maj7
The λ-maj7 Programming Language (the name is a joke, looking for a better one)
pNre/gram
Command line based, bare-bones client for Telegram
aryx/codemap
Source code visualizer
aryx/codegraph
Source code dependencies visualizer
pNre/Spotify-to-Apple-Music
Copy a playlist from Spotify to Apple Music
matteobusi/alvie
The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"
dakk/caravand
Bitcoin light node for c-lightning
dariooddenino/bs-react-router-dom
ImBadnick/SimpleInterpreterInOCAML
Definition of a simple Interpreter in OCAML for a university project (PR2 course).
dakk/opencmd2
Open-source Commandos2 game engine
dakk/osat
OCaml experimental sat3 solver
tommasoturchi/JLL
Java-Like Language compiler
dakk/nmea
NMEA sentence parser for OCaml
gr-im/site
My personal site, generator and content
dakk/letlight
Lightning networks implementation
astrada/pa_extjs
js_of_ocaml custom syntax extension
Alex23087/chupikapi
aryx/fork-rolling-moon
dakk/camping-tycoon
experiment using tsdl
pNre/advent-of-code-21
🐪
dakk/f3l-lang
A functional low level language subset of OCaml
aryx/meh
un brouteur web
looganxx/OCamlProject
giacomocavalieri/ocaml-effects-experiments
Experimenting with Ocaml 5 zeroth release's effect system
dakk/eth-ml
Educational purpose implementation of ethereum yellow paper
SwitchAxe/Yare
A complete rewrite of Rewind in OCaml.
SPY-Lab/apron-example
aryx/commons-ocaml-pad
my own common OCaml library
astrada/reason-react-toolbox-example
Example for reason-react-toolbox
alefais/pr2-14
Projects of the Programming 2 course of the Computer Science Bachelor's Degree @ University of Pisa
aryx/fork-efuns-old
pad's fork of efuns
aryx/fork-ocsigen
pad's fork of ocaml ocsigen web server
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.
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
illbexyz/ocaml-gi-gtk
Generate Gtk3 bindings for OCaml
dakk/lambda-gp
dummy experiments over genetic programming using lambda calculus
aryx/codecheck
A multi-language whole-program analysis simple code checker
Landisit8/OCaml
Progetto O'caml 2020/2021, (Fa schifo)
giacomocavalieri/ocaml-multicore-experiments
Experimenting with Ocaml 5 zeroth release's multicore support
marcoantoniocorallo/Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
marcoantoniocorallo/EsoCaml
Small esoteric language, inspired by reMorse and Ocaml
aryx/ocaml-light
A fork of OCaml 1.07 without objects meant for education
marcotelle/Secondo-Progetto-Programmazione-2
astrada/reason-react-toolbox-example-theme
Example for reason-react-toolbox with customizable components
jfet97/microc
A compiler written in OCaml for the Languages, Compilers & Interpreters course @ UniPi.
FraMecca/inria-internship
GPurgatorio/Interprete-OCaml
Progetto finale dell'esame di PR2 (2017-2018)
massimo-nocentini/kanren-light
mpitt/uni_func
Corso di Programmazione Funzionale
FraMecca/ffbench
test different ffmpeg trascoding settings
jfet97/progetto-ocaml-pr2
Progetto di OCaml - Esame di Programmazione II @ UniPi (2020 - 2021)
adelloste/pf
OCaml - Functional programming
halykoss/CADL
My bachelor thesis: a compiler from Datalog rules to OCaml type checker (standard or incremental)