Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
- GitHub: https://github.com/topics/ocaml
- Wikipedia: https://en.wikipedia.org/wiki/OCaml
- Repo: https://github.com/ocaml/ocaml
- Created by: Xavier Leroy
- Released: 1996
- Last updated: 2025-01-23 00:17:44 UTC
- JSON Representation
https://github.com/sandromaglione/ocaml-getting-started-advent-of-code-23
Getting started with OCaml and Functional Programming by solving puzzles from Advent of Code 23・Newsletter sandromaglione.com
advent-of-code advent-of-code-2023 advent-of-code-2023-ocaml functional-programming learn-ocaml learn-ocaml-language ocaml
Last synced: 15 Jan 2025
https://github.com/serpent7776/js13k-2020-theme-not-found
Theme not found: My submission to js13k 2020
game hangman html javascript js-of-ocaml js13k js13kgames2020 ocaml
Last synced: 26 Jan 2025
https://github.com/lindig/xen-ocaml-tools
The OCaml code from the Xen hypervisor
Last synced: 10 Jan 2025
https://github.com/frectonz/advent_of_code_2023
Solutions for advent of code 2023
advent-of-code advent-of-code-2023 elm ocaml rust
Last synced: 21 Jan 2025
https://github.com/charlesaverill/volpic
Verifier of Lifted Pascal in Coq
coq formal-verification metafont ocaml tex
Last synced: 10 Oct 2024
https://github.com/tmattio/mirage-demo
Demo of an HTTP server built with MirageOS, deployed on GCP
Last synced: 17 Dec 2024
https://github.com/charlesaverill/gofr
A Programming Language controlled by the game of Go
board-game dsl esoteric-language go-game ocaml
Last synced: 14 Jan 2025
https://github.com/radionoisee/misakaii
Atarashi, small, fast and robust bilibili media crawler.
bilibili bilibili-download ffmpeg libcurl ocaml
Last synced: 22 Dec 2024
https://github.com/anuragsoni/incr_dom_navigation_example
client side navigation in incr_dom applications
Last synced: 17 Dec 2024
https://github.com/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 12 Oct 2024
https://github.com/kiranandcode/query-complexity-framework
Framework for empirically exploring query complexity questions
ocaml query-complexity randomized
Last synced: 25 Dec 2024
https://github.com/zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
gadt generalized-algebraic-data-type ocaml probabilistic-graphical-models probabilistic-programming type-system
Last synced: 12 Oct 2024
https://github.com/naereen/fix-iocaml-notebook-exports-to-pdf
Small :snake: Python script to fix a :camel: IOCaml notebook to have a clean export to PDF (include output values AND types) :wrench: :notebook:
agregation iocaml jupyter-nbconvert jupyter-notebook mit-license ocaml ocaml-notebook
Last synced: 31 Dec 2024
https://github.com/cljoly/oclaunch
🚀 Lauch various command, once, when opening a terminal
archived cli command-line-tool launch ocaml
Last synced: 11 Dec 2024
https://github.com/imandra-ai/batsmt-ocaml
OCaml bindings for batsmt
cdcl ocaml rust rust-bindings smt
Last synced: 22 Jan 2025
https://github.com/imandra-ai/cbor-pack
OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR
cbor ocaml serialization serialization-format
Last synced: 22 Jan 2025
https://github.com/remexre/extlint
An extensible linter for OCaml programs.
Last synced: 22 Dec 2024
https://github.com/khayyamsaleem/ocaml-fs-experiment
a repo for a full-stack ocaml web app
Last synced: 14 Jan 2025
https://github.com/aloussase/miniml
MiniML in various PLs. Add yours!
haskell ocaml plzoo programming-languages rust
Last synced: 24 Dec 2024
https://github.com/emilerolley/ltl2ba
Compiler of LTL formula to Büchi automata
buchi-automata ltl ltl-formula ltl2ba ocaml
Last synced: 15 Dec 2024
https://github.com/bcc32/ecaml-hello
An example Ecaml plugin
ecaml emacs hello-world ocaml plugin
Last synced: 11 Jan 2025
https://github.com/zachariahreed/cmsis-svd-tools
Tools for working with ARM CMSIS SVD files
Last synced: 13 Jan 2025
https://github.com/paurkedal/ocaml-kojson
Combinators for matching JSON
json ocaml parser-combinators yojson
Last synced: 20 Jan 2025
https://github.com/bbc2/legends-of-code-ocaml
OCaml submission for the CodinGame challenge "Legends of Code and Magic"
algorithm-competitions codingame codingame-solutions ocaml
Last synced: 26 Jan 2025
https://github.com/frectonz/advent_of_code_2022
Solutions for advent of code 2022
advent-of-code advent-of-code-2022 elm golang ocaml rust
Last synced: 14 Jan 2025
https://github.com/bbatsov/praxis
Praxis makes perfect!
99-problems advent-of-code clojure ocaml
Last synced: 18 Dec 2024
https://github.com/davep/mandeldraw
Mandelbrot Set Plotter in OCaml
fractal mandelbrot mandelbrot-fractal ocaml
Last synced: 12 Jan 2025
https://github.com/eignnx/fauxcaml
A (not so great) Python implementation of OCaml
compiler nasm-assembly ocaml programming-language python37 x86-64
Last synced: 21 Jan 2025
https://github.com/nderjung/mirage-docker
A development environment for MirageOS applications.
docker docker-image mirage ocaml toolchain
Last synced: 30 Dec 2024
https://github.com/puripuri2100/yojson-rs
yojson parser for Rust
cargo crates json json-parser ocaml rust yojson
Last synced: 13 Oct 2024
https://github.com/fusion/reasonable-fidelity
Replay recorded web sessions, check for fidelity
automation ocaml reasonml regression-tests testing
Last synced: 04 Dec 2024
https://github.com/delciokelson/wcec-android
A tool for static WCEC analysis of android apps.
abstract-interpretation ocaml static-analysis wcec
Last synced: 11 Jan 2025
https://github.com/effrenus/nippon-gatari
Japanese compound verbs dictionary (in russian)
Last synced: 21 Jan 2025
https://github.com/fccm2/rollmoon
A mini-game with 2d physics.
2d-physics html5-canvas html5-game ocaml rescript
Last synced: 12 Oct 2024
https://github.com/isaac-defrain/todo
Todo list application built to explore different features of the OCaml language
functional-programming functors modules ocaml
Last synced: 15 Dec 2024
https://github.com/joakin/ocaml-random-text-generation
markov chain text generator written in ocaml
Last synced: 19 Dec 2024
https://github.com/enieber/re-newsletter
Newsletter about ReasonML, OCaml and ReScript
hacktoberfest news newsletter ocaml reasonml rescript
Last synced: 07 Dec 2024
https://github.com/smimram/cccatt
A type theory for unbiased cartesian closed categories.
cartesian-closed-category lambda-calculus ocaml type-theory unbiased
Last synced: 22 Oct 2024
https://github.com/jonghough/ocaml2j
OCaml bindings for calling and running J scripts
dll jlang language-bindings ocaml
Last synced: 10 Jan 2025
https://github.com/fersilva16/exercism-ocaml
My solutions for Exercism's OCaml Track
Last synced: 23 Dec 2024
https://github.com/harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp facebook facebook-infer java master-thesis ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/aantron/bisect-ci-integration-megatest
Bisect_ppx web integrations testing
Last synced: 21 Jan 2025
https://github.com/harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
abstract-interpretation atomicity atomicity-violation bachelor-thesis concurrency facebook facebook-infer ocaml program-analysis static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/gabryon99/mucomp-lang
μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.
compilers languages lexer llvm menhir ocaml ocamllex parser programming
Last synced: 28 Dec 2024
https://github.com/gfngfn/poly-shift-reset
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
continuation delimited-continuation ocaml polymorphic-types type-checker type-system
Last synced: 15 Jan 2025
https://github.com/jottenlips/deprecated-jottenlips.github.io
📃 ReasonML markdown blog engine, turn an S3 bucket into a Github Pages blog
blog-engine experiment functional-programming jamstack javascript markdown ocaml react reason reasonml webpack
Last synced: 21 Dec 2024
https://github.com/cloudi/cloudi_api_ocaml
OCaml CloudI API
actor-model cloud cloud-computing cloudi-api concurrency distributed-actors distributed-systems fault-tolerance functional-reactive-programming microservices ocaml reactive scalability soa
Last synced: 31 Dec 2024
https://github.com/aapeliv/kazm
A small C-like programming language implemented in OCaml
Last synced: 18 Jan 2025
https://github.com/jdan/ocaml-tictactoe
Playing around with some OCaml + Bucklescript + Express + Socket.io
bucklescript express ocaml socket-io
Last synced: 01 Jan 2025
https://github.com/sanxiyn/ocaml-ancient
Unlimited size ancient heap for OCaml (Mirror of git://git.annexia.org/ocaml-ancient.git)
Last synced: 02 Jan 2025
https://github.com/reasonocamlindia/dream-web-server-sessions
Dream web server coded live at reason-bangalore.org sessions
Last synced: 12 Oct 2024
https://github.com/naereen/minipy-interpreter-in-ocaml
My local copy of files from https://github.com/LaurentMazare/LaurentMazare.github.io/tree/master/minipy, whose code is there https://github.com/LaurentMazare/ocaml-minipy
ace-editor bootstrap js-of-ocaml minipython-interpreter ocaml ocaml-interpreter python-interpreter repl toplevel
Last synced: 31 Dec 2024
https://github.com/kiranandcode/camelclone
Automatically push changes to selected repositories - 0% tested yet 100% correct.
coq formalization ocaml verification
Last synced: 25 Dec 2024
https://github.com/sanette/tsdl-image
OCaml SDL2_image bindings to go with Tsdl
ocaml ocaml-bindings sdl2 sdl2-image
Last synced: 25 Jan 2025
https://github.com/ludovicm67/ocaml-turing-machine
Machine de Turing réalisée en Ocaml
caml ocaml turing-machine university university-project
Last synced: 16 Dec 2024
https://github.com/erueri/oangou
A content encryptor
cli diffie-hellman encryption-decryption ocaml
Last synced: 12 Oct 2024
https://github.com/ncvescera/colored_camel
Progetto per Artificial Intelligent Systems, Colorazione di un Grafo attraverso algoritmo di ricerca in Ampiezza
bfs-algorithm coloring-graph graph ocaml
Last synced: 10 Dec 2024
https://github.com/smimram/regrade
Simple grading system using regular expressions.
assignment grade homework ocaml regular-expression
Last synced: 22 Dec 2024
https://github.com/narimiran/adventofcode2019
My OCaml solutions for Advent of Code 2019
advent advent-of-code advent-of-code-2019 adventofcode adventofcode2019 functional functional-programming ocaml
Last synced: 24 Jan 2025
https://github.com/matrixai/ocaml-demo
OCaml Demo Project
ocaml ocaml-library ocaml-program
Last synced: 24 Jan 2025
https://github.com/progbits/spacebar
A C to Whitespace transpiler.
c esolang menhi ocaml transpiler whitespace
Last synced: 14 Nov 2024
https://github.com/squiddev/omnomnom
An OCaml test runner inspired by Tasty
Last synced: 08 Dec 2024
https://github.com/micheleriva/ocaml-assembly-example
👾Just an Assembly Hello World program compiled from OCaml ocamlopt.
Last synced: 14 Dec 2024
https://github.com/vit0rr/ocaml-crud
CRUD in OCaml using postgresql
crud docker docker-compose dune ocaml opam postgresql
Last synced: 24 Jan 2025
https://github.com/dawee/prisml
Write OCaml through the Reason prism. Write ReasonML through the OCaml prism.
ocaml reasonml vscode-extension
Last synced: 26 Jan 2025
https://github.com/idkjs/reason-cssgrid-media
css-grid images and audio with reasonml demo
bs-director bucklescript css-grid ocaml reason reason-react reasonml
Last synced: 10 Dec 2024
https://github.com/zeta611/effect_based_interpreter
A modular interpreter using effects and effect handlers
algebraic-effects effect-handlers interpreter monad monad-transformers ocaml
Last synced: 06 Dec 2024
https://github.com/federicobruzzone/caml-writer
CamlWriter is a terminal-based text editor developed using the OCaML.
functional-programming ocaml terminal-based text-editor
Last synced: 09 Nov 2024
https://github.com/eudoxia0/ocaml-nix-starter
OCaml starter project template using Nix for reproducibility.
dune nix ocaml project-template
Last synced: 23 Dec 2024
https://github.com/leonidas-from-xiv/opam-thanks
💖 🐫 Give thanks to your fellow Camlers
Last synced: 22 Jan 2025
https://github.com/melwyn95/learn-ocaml
Solutions to https://ocaml-sf.org/learn-ocaml-public/#
Last synced: 09 Dec 2024
https://github.com/sim642/ppx_easy_deriving
Easily define PPX derivers without boilerplate and runtime overhead
ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 Dec 2024
https://github.com/pveber/pipes
Stream programming in the style of Haskell's {pipe, conduit, iteratee}
Last synced: 02 Jan 2025
https://github.com/pveber/libsvm-ocaml
LIBSVM Bindings for OCaml
bindings machine-learning ocaml support-vector-machines svm
Last synced: 02 Jan 2025
https://github.com/puripuri2100/satysfifmt
Tool to format SATySFi code.
codeformatter lexer lexer-parser ocaml parser satysfi
Last synced: 29 Dec 2024
https://github.com/smimram/ocaml-dblp
OCaml library to use the DBLP bibliographic database API.
bibliography bibtex dblp ocaml
Last synced: 12 Oct 2024
https://github.com/cfcs/ocaml-poly1305
MirageOS-friendly bindings to Poly1305 C-stubs from WireGuard
cryptography mirageos ocaml poly1305
Last synced: 17 Jan 2025
https://github.com/arthurmelton/newseekr
An alternative frontend for your favorite news outlets
frontend news ocaml privacy privacy-frontend self-hosted
Last synced: 15 Dec 2024
