Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
OCaml
![](https://explore-feed.github.com/topics/ocaml/ocaml.png)
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-02-13 00:21:22 UTC
- JSON Representation
https://github.com/prawater/monkey_interpreter.ml
Tree walking interpreter written in OCaml
Last synced: 01 Feb 2025
https://github.com/gabrielemaurina/workspace
Personal workspace. Years of code shouldn't be lost.
cpp eiffel erlang java javascirpt ocaml python scala
Last synced: 01 Feb 2025
https://github.com/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 31 Jan 2025
https://github.com/unixjunkie/diskuv-ocaml
mirror of https://gitlab.com/diskuv/diskuv-ocaml.git
Last synced: 31 Jan 2025
https://github.com/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 30 Jan 2025
https://github.com/unixjunkie/shlang
A DSL for operations over files
cash cli ocaml scsh unix-shell
Last synced: 31 Jan 2025
https://github.com/gustavodiasag/simpler
Interpreter for a functional, expression-based programming language
functional-programming interpreter lambda-calculus ocaml programming-language
Last synced: 07 Feb 2025
https://github.com/0xnu/fms
FMS implements a financial model for stock market simulation.
brownian-motion dynamic-portfolio-value monte-carlo monte-carlo-simulation ocaml probability-of-profit sharpe-ratio sr-lstm stock-market
Last synced: 25 Jan 2025
https://github.com/chichunchen/cal-translator-and-interpreter
Translator and interpreter of a small calculator language in OCaml
compiler eval interpreter ocaml semantic-analysis
Last synced: 19 Jan 2025
https://github.com/omnisci3nce/kosen
https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCaml
ocaml raytracing raytracing-in-one-weekend
Last synced: 19 Jan 2025
https://github.com/tategakibunko/ocorm
helper functor module to map some table rows into other object like json.
Last synced: 12 Jan 2025
https://github.com/jihchi/bs-puppeteer-legacy
[DEPRECATED] BuckleScript bindings to the GoogleChrome/puppeteer (Headless Chrome Node API)
automation bindings bucklescript developer-tools headless-chrome javascript node-module ocaml reason testing web
Last synced: 12 Jan 2025
https://github.com/paurkedal/spreadsheet-demo
An FRP Experiment
eliom experimental ocaml ocsigen
Last synced: 20 Jan 2025
https://github.com/teenbiscuits/practicas-pp
Prácticas de la asignatura Paradigmas de la Programación en OCaml
Last synced: 11 Jan 2025
https://github.com/red-rapious/compilateur-petit-purescript
Compiler of the Purescript language in OCaml - Project for the "Programming languages and compilation" course 2023-2024 at ENS Ulm
Last synced: 11 Jan 2025
https://github.com/red-rapious/ocaml-cas
A basic Computer Algebra System (CAS) made in OCaml
cas computer-algebra-system ocaml
Last synced: 11 Jan 2025
https://github.com/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 11 Jan 2025
https://github.com/j-christl/ocaml-dfa
Simple implementation of deterministic finite automata in OCaml
automata-theory deterministic-finite-automaton ocaml theoretical-computer-science
Last synced: 24 Jan 2025
https://github.com/mbarbin/eio-rpc
A collection of opinionated libraries designed to build RPC clients and servers with eio
eio grpc ocaml protocol-buffers rpc
Last synced: 11 Jan 2025
https://github.com/mbarbin/dune-rpc-eio
Communicate with dune using rpc and Eio
Last synced: 11 Jan 2025
https://github.com/federicobruzzone/setup-ocaml-project-with-dune
This repository provides a basic setup for an OCaml project with using Dune as the build system. It aims to provide a simple and straightforward structure for your OCaml project, allowing you to focus on writing code without the complexities of a build system.
functional-programming ocaml ocamlbuild project-template setuptools
Last synced: 03 Jan 2025
https://github.com/cheukchuen/go-to-wasm
Golang to WebAssembly compiler written in OCaml
compiler-design golang ocaml webassembly
Last synced: 11 Jan 2025
https://github.com/maolonglong/bogoscheme
A subset of Scheme
menhir ocaml ocamllex repl scheme scheme-interpreter
Last synced: 26 Dec 2024
https://github.com/qnighy/fplp-interpreter
関数・論理型プログラミング実験
interpreter ocaml type-inference
Last synced: 07 Feb 2025
https://github.com/cfcs/nvlist
Sun/Solaris serialization format library
ocaml serialization-library solaris zfs zfs-filesystem
Last synced: 17 Jan 2025
https://github.com/FraMecca/ffbench
test different ffmpeg trascoding settings
ffmpeg ocaml org-mode python transcode transcoding
Last synced: 25 Nov 2024
https://github.com/jfeser/ocaml-cmph
Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
hashing mphf ocaml perfect-hash
Last synced: 17 Jan 2025
https://github.com/hexaredecimal/koolml
Cool meta language for the web created in python
caml functional-programming javascript metalanguage ocaml programming-language website
Last synced: 24 Dec 2024
https://github.com/cedlemo/ocaml-bsonc
Ctypes bindings to libbson for OCaml
bson ctypes-bindings libbson libmongoc mongo ocaml ocaml-bsonc
Last synced: 06 Feb 2025
https://github.com/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 30 Jan 2025
https://github.com/singularityx-ai/penify-oapi-code-gen
OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages
csharp go golang java javascript nodejs ocaml php python typescript
Last synced: 10 Feb 2025
https://github.com/meta-inf/mlc
[O]Caml compiler
compiler functional-programming ocaml
Last synced: 12 Jan 2025
https://github.com/sim642/ocaml-arg-complete
Bash completion support for OCaml Stdlib.Arg
bash-completion ocaml ocaml-library
Last synced: 09 Feb 2025
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/idkjs/reason-react-native-web-template
Starter, React-Native-Web [Demo](https://codesandbox.io/s/q4qymyp2l6) in ReasonML and ReasonReactNative
bs-react-native demo ocaml react-native-web reasonml
Last synced: 04 Feb 2025
https://github.com/sano-jin/dhl-alpha
A minimal compiler and runtime for a language based on graph rewriting
compiler interpreter ocaml programming-language
Last synced: 30 Jan 2025
https://github.com/kuy/parseco
Learning parser combinators in OCaml + Core.
Last synced: 09 Jan 2025
https://github.com/sanette/tsdl-ttf
SDL2_ttf bindings for Ocaml with Tsdl
ocaml ocaml-bindings sdl2 sdl2-ttf ttf
Last synced: 22 Jan 2025
https://github.com/elliottcable/bs-slash-create
ReScript / BuckleScript bindings to the slash-create library for Discord commands
bucklescript bucklescript-bindings discord discord-js javascript ocaml ocaml-bindings slash-commands
Last synced: 12 Feb 2025
https://github.com/arc-hugo/debt_calculator
Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.
flow ford-fulkerson-algorithm functional-programming graph ocaml
Last synced: 24 Jan 2025
https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 22 Jan 2025
https://github.com/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Jan 2025
https://github.com/sim642/ppx_deriving_hash
[@@deriving hash]
hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 Dec 2024
https://github.com/ushitora-anqou/mahout
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
docker kubernetes mastodon nusmv ocaml
Last synced: 11 Feb 2025
https://github.com/vendethiel/translator-backend.ocaml
Backend to Translator using Ocaml + Dream
dream lwt ocaml ocaml-dream ocaml-lwt
Last synced: 27 Jan 2025
https://github.com/dylf/advent-of-code
🎄My Advent of Code Solutions🎄
advent-of-code advent-of-code-2022 advent-of-code-2023 ocaml rust
Last synced: 26 Dec 2024
https://github.com/alanvf/star_parser
WIP parser for the Star programming language
Last synced: 16 Jan 2025
https://github.com/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Jan 2025
https://github.com/ryanhill1/command-line-checkers
Checkers with AI.
ai checkers functional-programming game game-tree ocaml
Last synced: 12 Jan 2025
https://github.com/shroominic/ocaml-sublanguage-interpreter
This project is an interpreter written in OCaml. It interpretes a language similar to OCaml but simpler.
Last synced: 13 Dec 2024
https://github.com/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 26 Jan 2025
https://github.com/roguh/clox
Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.
dune interpreter lox menhir ocaml
Last synced: 26 Jan 2025
https://github.com/vshender/nats.ml
OCaml client for NATS, the cloud native messaging system.
Last synced: 12 Feb 2025
https://github.com/jubnzv/ctfp
Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.
Last synced: 02 Feb 2025
https://github.com/ncs-pl/query-tree
Projet de Programmation Fonctionnelle, UFR ST Orléans 2024
Last synced: 23 Jan 2025
https://github.com/aadhil2k4/ocaml-ray-tracer
OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"
Last synced: 21 Nov 2024
https://github.com/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Last synced: 21 Jan 2025
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 23 Jan 2025
https://github.com/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
Last synced: 21 Jan 2025
https://github.com/jt2m0l3y/mypl
Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.
ast code-generation compiler-design cpp grammars jit lambda-calculus lexical-analysis ocaml parsing type-checking vm
Last synced: 27 Dec 2024
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 09 Feb 2025
https://github.com/j14159/alpaca-record-sketch1
Experiments to JIT simple record operations with LLVM in OCaml.
Last synced: 09 Feb 2025
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
https://github.com/eliasgit2017/proofbox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
alt-ergo coq docker docker-container ocaml smt-solver
Last synced: 24 Dec 2024
https://github.com/sauzeauyannis/ls-projet
An interpreter for an imperative language and a Hoare logic prover
coq hoare-logic imperative-language interpreter ocaml prover school-project
Last synced: 20 Jan 2025
https://github.com/manikupireddii/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 09 Feb 2025
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 12 Feb 2025
https://github.com/mmottl/ocaml-playground
This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.
Last synced: 05 Jan 2025
https://github.com/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024
https://github.com/ceribe/memory-game
Memory game made in OCaml and Bogue
bogue game memory-game ocaml poznan-university-of-technology
Last synced: 20 Jan 2025
https://github.com/vogler/ppx_distr_guards
OCaml ppx extension to distribute guards over or-patterns (Warning 57)
Last synced: 23 Dec 2024
https://github.com/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 02 Feb 2025
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 2024
https://github.com/tsaidavid/exercism
algorithms exercism exercism-javascript javascript ocaml reason reasonml
Last synced: 09 Feb 2025
https://github.com/dhil/google-tech-talk-2018
Materials for my Google Tech Talk 2018
concurrency effect-handlers effects ocaml
Last synced: 10 Feb 2025
https://github.com/jeronimobarea/toml-merge
A small script written in Ocaml to merge all the toml files from a given directory
Last synced: 27 Jan 2025
https://github.com/owainlewis/dune-example-project
An example project using OCaml dune
Last synced: 01 Feb 2025
https://github.com/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 Jan 2025
https://github.com/rishabh-agarwal/programming-system-ece-352
SDE Ocaml and Prolog Clemson University (Prolog and Ocaml)
352 clemson computer ece engineering ocaml prolog science sde university
Last synced: 28 Dec 2024