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-04 00:21:23 UTC
- JSON Representation
https://github.com/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Jan 2025
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/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/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/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 Jan 2025
https://github.com/owainlewis/dune-example-project
An example project using OCaml dune
Last synced: 01 Feb 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/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/igorjakus/nnomad
Numerical optimization, mathematics and automatic differentiation library in Ocaml!
automatic-differentiation gradient-descent numerical-methods numerical-optimization ocaml
Last synced: 03 Jan 2025
https://github.com/mbarbin/opam-repository
An opam repository for publishing ocaml packages
Last synced: 11 Jan 2025
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 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/vogler/ppx_distr_guards
OCaml ppx extension to distribute guards over or-patterns (Warning 57)
Last synced: 23 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/j-christl/ocaml-utils
Some basic OCaml utility functions I will keep updating while learning functional programming
functional functional-programming ocaml ocaml-utils utility-function
Last synced: 24 Jan 2025
https://github.com/j-christl/ocaml-havelhakimi
Functional implementation of the Havel-Hakimi algorithm in OCaml
discrete-mathematics functional-programming graph-theory havel-hakimi-algorithm ocaml
Last synced: 24 Jan 2025
https://github.com/atomicptr/camelcase
A simple OCaml test framework
ocaml ocaml-library test testing unit-testing
Last synced: 24 Jan 2025
https://github.com/alanvf/star_parser
WIP parser for the Star programming language
Last synced: 16 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/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024
https://github.com/prawater/monkey_interpreter
Tree walking interpreter written in OCaml
Last synced: 11 Jan 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/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/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/erwanlem/projet_kawa
Interpréteur pour le langage objet Kawa
Last synced: 12 Jan 2025
https://github.com/erwanlem/projet_pfa
Création d'un jeu 2D type platformer utilisant le modèle ECS
Last synced: 12 Jan 2025
https://github.com/vshender/advent-of-code
My solutions to the Advent of Code problems.
advent-of-code competitive-programming ocaml
Last synced: 13 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/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/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 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/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
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/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/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/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/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 19 Jan 2025
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 20 Jan 2025
https://github.com/artainmo/general-programming
Notes from studying and small projects surrounding general-programming.
assembly bits c clean-code cpp ide ocaml operating-systems os python rust self-learning shell study team vim
Last synced: 22 Jan 2025
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/davideimola/myinterpreter
Interpreter built in OCaml
interpreter ocaml university university-project
Last synced: 22 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/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
https://github.com/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Last synced: 21 Jan 2025
https://github.com/bahmanm/stockman-ml
Stockman in OCaml
ocaml ocaml-exercises stockman
Last synced: 15 Jan 2025
https://github.com/amillert/camodular
Ocaml interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.
functional-programming menhir ocaml parser sedlex
Last synced: 12 Jan 2025
https://github.com/isaac-defrain/multi-client-server
A multi-client server for a simple shared ledger written in OCaml
Last synced: 15 Dec 2024
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/gfngfn/lambda-next-box
code-generation interpreter metaprogramming ocaml type-checker type-system
Last synced: 15 Jan 2025
https://github.com/isaac-defrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Last synced: 15 Dec 2024
https://github.com/yawaramin/wsh-bs-test
Windows Script Host / BuckleScript test
bucklescript ocaml windows-scripts
Last synced: 11 Jan 2025
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/twolodzko/loco
Lisp implemented in OCaml, Oooh!
lisp lisp-interpreter ocaml scheme scheme-interpreter
Last synced: 22 Dec 2024
https://github.com/lamg/twitter_scanner
Stores tweets and user profiles in an Sqlite DB.
Last synced: 25 Dec 2024
https://github.com/cgyurgyik/caml-pox
Epidemic simulation game.
epidemic epidemic-game epidemic-theory functional functional-programming game ocaml
Last synced: 16 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/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 18 Jan 2025
https://framagit.org/zoggy/ocaml-stk
Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/
Last synced: 29 Jan 2025
https://github.com/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 Jan 2025
https://github.com/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
https://github.com/keturiosakys/advent-of-code
Watch me write some bad Rust, OCaml code
Last synced: 28 Jan 2025
https://github.com/tmcgilchrist/ocaml-bitbucket
OCaml library for bitbucket API
Last synced: 21 Jan 2025
https://github.com/ryloric/bucklescript-fluture
BuckleScript bindings for fluture-js
bucklescript bucklescript-bindings ocaml reasonml
Last synced: 21 Jan 2025
https://github.com/levichu51/pp-practicas-teoria-23-24
Prácticas de la asignatura de Paradigmas de la Programación UDC 23/24
funcional-programming ocaml udc university
Last synced: 21 Jan 2025
