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-28 00:21:10 UTC
- JSON Representation
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/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/omnisci3nce/ocaml-rpg
Visualisation and rendering toolkit focusing on 3D and ease of use.
3d-graphics 3d-visualization ocaml rendering
Last synced: 21 Jan 2025
https://github.com/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 Jan 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/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/mohcineproject/expr-compiler-and-pfx-virtual-machine
An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).
Last synced: 21 Jan 2025
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
https://github.com/mbarbin/doc-experiment-docusaurus
Experimenting with docusaurus+odoc
docusaurus ocaml ocaml-mdx odoc
Last synced: 21 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/douglarek/cs3110
Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】
Last synced: 22 Dec 2024
https://github.com/mrkkrp/string_metrics
Collection of string metric algorithms in OCaml
hamming-distance jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance ocaml string-metrics
Last synced: 19 Jan 2025
https://github.com/yisus82/fic-pf
Programación Funcional - Facultad de Informática de A Coruña
caml functional functional-programming haskell haskell-exercises haskell-language haskell-learning ocaml ocaml-exercises
Last synced: 29 Jan 2025
https://github.com/yisus82/fic-pd
Programación Declarativa - Facultad de Informática de A Coruña
caml declarative declarative-language declarative-programming ocaml ocaml-exercises
Last synced: 29 Jan 2025
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 17 Dec 2024
https://github.com/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 07 Dec 2024
https://github.com/domai-tb/functional-programming-ss24
Exercise solution for the course "Functional Programming" af summer semester 2024
Last synced: 21 Jan 2025
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 21 Jan 2025
https://github.com/lemoineat/grunt-ocamlbuild
Use ocamlbuild to compile some OCaml code with grunt
grunt javascript ocaml ocamlbuild
Last synced: 16 Dec 2024
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/mbarbin/opam-repository
An opam repository for publishing ocaml packages
Last synced: 11 Jan 2025
https://github.com/peter-roh/ocaml
taking 'programming languages' course
functional-programming interpreter ocaml programming-languages
Last synced: 21 Jan 2025
https://github.com/lemoineat/grunt-of-ocamlbuild
Compile OCaml code to JavaScript with grunt, ocamlbuild and js_of_ocaml
grunt javascript js-of-ocaml ocaml ocamlbuild
Last synced: 09 Dec 2024
https://github.com/tsaidavid/exercism
algorithms exercism exercism-javascript javascript ocaml reason reasonml
Last synced: 17 Dec 2024
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 13 Dec 2024
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/maelvls/maelvls
My GitHub README.md available at https://github.com/maelvls
engineer go kubernetes ocaml readme-profile
Last synced: 24 Jan 2025
https://github.com/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
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/slamko/ppx_catch
Ocaml PPX for no-exception error handling
error-handling functional-programming meta-programming no-exception ocaml ppx ppx-extension ppx-rewriter ppxlib
Last synced: 21 Jan 2025
https://github.com/alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
Last synced: 24 Dec 2024
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/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 29 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/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/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/mustafaaamir/lamlt
A typed lambda-calculus evaluator written in OCaml
Last synced: 29 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/atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Last synced: 21 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/mtoohey31/starpath
A position-aware parser combinator library for OCaml with readable errors.
ocaml ocaml-library parser parser-combinators
Last synced: 09 Jan 2025
https://github.com/applejag/adventofcode-2024-ocaml
My (failed) attempt at Advent of Code 2024 using OCaml https://adventofcode.com/2024
advent-of-code advent-of-code-2024 advent-of-code-ocaml ocaml
Last synced: 29 Jan 2025
https://github.com/susji/opl
Toy compiler for PL/0, emits x86-64 assembly for Linux
Last synced: 14 Dec 2024
https://github.com/nickzuber/ocaml-exercises
Some exercises I've done in OCaml to help practice and learn the language.
ocaml ocaml-exercises practice
Last synced: 13 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/codiepp/ml-cpp-filesystem
OCaml embedded cross-platform C++ <filesystem>
cpp filesystem hacktoberfest ocaml
Last synced: 21 Jan 2025
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/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: 03 Dec 2024
https://github.com/petetnt/advent-of-code-2017-reasonml
Advent of Code 2017 with ReasonML
advent-of-code advent-of-code-2017 functional-programming ocaml reasonml
Last synced: 10 Dec 2024
https://github.com/alexchang8/bs-big.js
Bucklescript bindings to big.js
bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings
Last synced: 14 Dec 2024
https://github.com/mungasoftwiz/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 21 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/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
Last synced: 21 Jan 2025
https://github.com/ftovagliari/ocamlfpdf
OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.
Last synced: 12 Dec 2024
https://github.com/mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
command-line ocaml ocaml-library parser ppx-deriver
Last synced: 21 Jan 2025
https://github.com/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
https://github.com/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
https://github.com/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 30 Jan 2025
https://github.com/esy-ocaml/esy-ocaml.github.io
Umbrella website for Esy OCaml Projects
Last synced: 28 Dec 2024
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/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 30 Jan 2025
https://github.com/eratio08/ads_ocaml
Algorithms & Data Structuress in OCaml
Last synced: 21 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/kaawan-d20/dpf-2024-binarytree
🐫 Code OCaml du projet de Programmation Fonctionnelle de L2S4
binary-tree functional-programming ocaml university-project
Last synced: 07 Dec 2024
https://github.com/eratio08/advent-of-code
yearly Advent of Coden solution attempts
advent-of-code advent-of-code-2015 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 advent-of-code-2024 elixir go kotlin ocaml
Last synced: 21 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/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 23 Jan 2025
https://github.com/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 21 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/jamessouth/portfolio
my portfolio
bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss
Last synced: 14 Dec 2024
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/rootmos/wwwo
My continuation-passing style static website generator written in OCaml
Last synced: 26 Jan 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/dimeeentor/university-disrete-math
Projects for my university for Discrete Mathematics course.
Last synced: 21 Jan 2025
https://github.com/alanvf/star_parser
WIP parser for the Star programming language
Last synced: 16 Jan 2025
https://github.com/gaku-sei/bucklescript-tea-showcase
Playing with OCaml and Bucklescript TEA
bucklescript elm-architecture ocaml
Last synced: 22 Dec 2024
https://github.com/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 18 Jan 2025
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
