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-02-11 00:21:31 UTC
- JSON Representation
https://github.com/codiepp/ml-cpp-chrono
OCaml embedded cross-platform C++ <chrono>
chrono cpp hacktoberfest ocaml
Last synced: 21 Jan 2025
https://github.com/codiepp/ml-cpp-filesystem
OCaml embedded cross-platform C++ <filesystem>
cpp filesystem hacktoberfest ocaml
Last synced: 21 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/hoddy3190/ocamlformat-vscode-extension
VSCode extension - simple wrapper for ocamlformat command
ocaml ocamlformat vscode vscode-extension
Last synced: 09 Jan 2025
https://github.com/rastreus/ocaml-book-club
Working through OCaml Books... for Fun!
bookclub education learning ocaml
Last synced: 28 Dec 2024
https://github.com/vshender/nats.ml
OCaml client for NATS, the cloud native messaging system.
Last synced: 19 Dec 2024
https://github.com/kawamurakazushi/monkey-ml
OCaml implementation of an interpreter for the Monkey programming language
interpreter lexer monkey ocaml parser
Last synced: 09 Jan 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/w-henderson/humphreyjr
🐪 The Performance-Focused, Dependency-Free Web Server, now in OCaml. (WIP)
http http-server ocaml web-framework web-server
Last synced: 13 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/uncomputable/expressive-wallet
What is a minimal wallet of coins that can express all amounts below a target?
coq formal-verification maths maths-problem ocaml theorem-proving
Last synced: 24 Dec 2024
https://github.com/ryloric/bs-list
BuckleScript bindings for funkia/list
bucklescript-bindings ocaml reasonml
Last synced: 06 Feb 2025
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 06 Feb 2025
https://github.com/alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
Last synced: 24 Dec 2024
https://github.com/jonathanjameswatson/earley_parser
Earley parser for context-free grammars
dune earley-parser ocaml parser
Last synced: 26 Dec 2024
https://github.com/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 19 Dec 2024
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/lemoineat/grunt-ocamlbuild
Use ocamlbuild to compile some OCaml code with grunt
grunt javascript ocaml ocamlbuild
Last synced: 09 Feb 2025
https://github.com/davideimola/myinterpreter
Interpreter built in OCaml
interpreter ocaml university university-project
Last synced: 22 Jan 2025
https://github.com/samwson/monkey-lang-in-ocaml
A simple interpreted language for learning purposes.
interpreted-programming-language ocaml
Last synced: 27 Jan 2025
https://github.com/acorrenson/minigc
A tinny GC written in plain C
c compiler-construction compiler-design garbage-collector java ocaml programming-languages
Last synced: 21 Jan 2025
https://github.com/igorjakus/nomad
Numerical Optimization, Mathematics and Automatic Differentiation library in OCaml!🐫
automatic-differentiation gradient-descent mathematical-expressions mathematics numerical-methods numerical-optimization ocaml
Last synced: 19 Jan 2025
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 10 Feb 2025
https://github.com/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 26 Jan 2025
https://github.com/julgitt/prolog-implementation-in-ocaml
Prolog parser, lexer and interpreter in Ocaml
backtracking functional-programming monads ocaml prolog prolog-implementation state-monad
Last synced: 19 Jan 2025
https://github.com/farmansu/qcst
Quantum Cognitive Synthesis Theory (QCST) is a theoretical framework exploring the integration of quantum mechanics, cognitive science, and AI. It proposes that consciousness might be simulated through quantum-like processes in microtubules, with implementations across various programming languages and using MySQL for managing learning experiences.
cognitive-science consciousness game-development machine-learning microtubules neuroscience ocaml property-based-testing quantum-computing quickcheck reinforcement-learning robotics
Last synced: 21 Jan 2025
https://github.com/neel-dandiwala/conway-game_of_life
Conway's Game of Life is a cellular automaton devised by mathematician John Conway. It's a zero-player game, meaning that its evolution is determined by its initial state, requiring no further input. It consists of a grid of cells which, based on a few mathematical rules, can live, die, or multiply over successive generations.
Last synced: 19 Jan 2025
https://github.com/viet281101/minic-misp_compiler
A small language compiler in Ocaml, translates MiniC syntax into MISP and runs
Last synced: 21 Dec 2024
https://github.com/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 Jan 2025
https://github.com/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 19 Jan 2025
https://github.com/jamessouth/portfolio
my portfolio
bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss
Last synced: 07 Feb 2025
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: 18 Dec 2024
https://github.com/kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
http http-signature ocaml ocaml-library
Last synced: 25 Dec 2024
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 20 Jan 2025
https://github.com/jgaehring/cletus
A cross-platform, local-first markdown editor built with Revery. (WORK IN PROGRESS)
desktop local-first ocaml reasonml revery
Last synced: 29 Dec 2024
https://github.com/vit0rr/lexical_analysis
Lexical analysis interpreter step in OCaml
functional-programming lexer lexical-analysis ocaml
Last synced: 27 Jan 2025
https://github.com/mackenziestarr/advent-of-code
advent of code exercises
advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 cpp ocaml rust
Last synced: 30 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/manikupireddii/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 09 Feb 2025
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/sigmachirality/denpa
Website for Denpa: An Otaku Podcast.
anime bucklescript javascript ocaml reason-react reasonml website
Last synced: 19 Dec 2024
https://github.com/chaarlesss/lipgloss
Style definitions for nice terminal layouts in OCaml 👄
Last synced: 25 Jan 2025
https://github.com/monkeyjunglejuice/emacs.ontop
Mission: Providing a great user experience in Emacs for various programming languages.
common-lisp elixir emacs emacs-setup emacs-starter-kit haskell julia ocaml racket
Last synced: 13 Jan 2025
https://github.com/jubnzv/ocaml-plugins-demo
A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.
Last synced: 02 Feb 2025
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/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/narekhovhannisyan/introduction-to-ocaml
Introduction to oCaml -> https://youtu.be/yKlcIUQ7168
for ocaml presentation public sceptics talk video
Last synced: 01 Jan 2025
https://github.com/veeara282/askyquiz
A quiz engine and editor implemented in OCaml. This was my group's midterm project for CS 3110.
cs3110 ocaml quiz-game quiz-maker
Last synced: 02 Jan 2025
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
https://github.com/esy-ocaml/esy-ocaml.github.io
Umbrella website for Esy OCaml Projects
Last synced: 28 Dec 2024
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
https://github.com/alexchang8/bs-big.js
Bucklescript bindings to big.js
bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings
Last synced: 07 Feb 2025
https://github.com/johnbntn/dat
Binary Analysis Framework for Datalog
bap binary-analysis datalog logic-programming ocaml program-analysis
Last synced: 11 Jan 2025
https://github.com/qbarrand/ensiie-iprf-quadtree
An academic project about collision detection to learn the quadtree data structure and functional programming
ensiie functional functional-programming iprf ocaml quadtree
Last synced: 22 Jan 2025
https://github.com/gabyfle/soundml
A little and very high level library to perform basic operations on audio files in the OCaml language
audio-processing ffmpeg ocaml owl
Last synced: 12 Oct 2024
https://github.com/eratio08/pars-comb-ml
Monadic parsing in OCaml
monadic ocaml parser parser-combinators parsing
Last synced: 21 Jan 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/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 09 Feb 2025
https://github.com/exenon/polymorphic-variants-presentation
A short presentation about OCaml Polymorphic Variants
ocaml polymorphic-variants presentation reveal-js
Last synced: 26 Dec 2024
https://github.com/kuy/99-ocaml-problems
My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html
Last synced: 09 Jan 2025
https://github.com/jonathanjameswatson/regex_parser
OCaml parsers (not compilers!) for (limited) regular expressions
ebnf lexer lr1-parser menhir ocaml ocamllex parser recursive-descent-parser regex
Last synced: 26 Dec 2024
https://github.com/bertrand31/data-structures-reasonml
Collection of data structures implemented in ReasonML (OCaml)
functional-programming ocaml reasonml
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/twolodzko/loco
Lisp implemented in OCaml, Oooh!
lisp lisp-interpreter ocaml scheme scheme-interpreter
Last synced: 22 Dec 2024
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/lwcarani/json-parser
JSON parsers, implementations in Python and OCaml
json json-parser menhir ocaml ocamllex python
Last synced: 01 Feb 2025
https://github.com/cmattinson/advent-of-code
OCaml my Caml
advent-of-code functional-programming ocaml
Last synced: 07 Feb 2025
https://github.com/isaac-defrain/multi-client-server
A multi-client server for a simple shared ledger written in OCaml
Last synced: 08 Feb 2025
https://github.com/gabrielhdt/ocspbt
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
csp-solver ocaml queens-problem sudoku
Last synced: 05 Feb 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
https://github.com/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 18 Jan 2025
https://github.com/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 Jan 2025