Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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-03 00:21:12 UTC
JSON Representation

https://github.com/samuela/karger

Karger's min-cut algorithm in OCaml

functional-programming karger ocaml

Last synced: 27 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/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/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/giraud/rincewind

cmt information extractor

cmt-extractor ocaml

Last synced: 19 Dec 2024

https://github.com/viet281101/minic-misp_compiler

A small language compiler in Ocaml, translates MiniC syntax into MISP and runs

compiler misp ocaml

Last synced: 21 Dec 2024

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/ryloric/ocaml-dune-skeleton

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 Jan 2025

https://github.com/susji/opl

Toy compiler for PL/0, emits x86-64 assembly for Linux

compilers educational ocaml

Last synced: 14 Dec 2024

https://github.com/tristan971/aoc-2019

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

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/mikaello/ocaml-libxml2

ocaml-libxml2 is a library for calling libxml2 functions from OCaml

bindings libxml libxml2 ocaml

Last synced: 13 Dec 2024

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/kiranandcode/http_sig_ocaml

HTTP Signatures for OCaml

http http-signature ocaml ocaml-library

Last synced: 25 Dec 2024

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/mbarbin/opam-repository

An opam repository for publishing ocaml packages

ocaml opam packages releases

Last synced: 11 Jan 2025

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/ryanhill1/command-line-checkers

Checkers with AI.

ai checkers functional-programming game game-tree ocaml

Last synced: 12 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/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/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/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Jan 2025

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/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 11 Jan 2025

https://github.com/anupvarghese/reason-react

javascript ocaml reason reasonml

Last synced: 25 Dec 2024

https://github.com/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 06 Jan 2025

https://github.com/pawvan/text_adventure

Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨

ocaml

Last synced: 26 Jan 2025

https://github.com/neal-c/hello-ocaml

A playground for curiosity, fun and very deep personal notes

ocaml

Last synced: 02 Feb 2025

https://github.com/andrewprofile/cqrs-sample

Sample of CQRS

clang cqrs csharp dart dlang golang hack hacktoberfest java kotlin ocaml php python ruby rust typescript

Last synced: 18 Jan 2025

https://github.com/james-p-d/ocamldump

Dumping ground for OCAML

ocaml

Last synced: 18 Jan 2025

https://github.com/james-p-d/pegsolitaire

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 18 Jan 2025

https://github.com/pawvan/text_analyzer

ocaml

Last synced: 26 Jan 2025

https://github.com/baransu/reason-grpc-playground

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 12 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/erwanlem/projet_kawa

Interpréteur pour le langage objet Kawa

interpreter ocaml

Last synced: 12 Jan 2025

https://github.com/erwanlem/projet_pfa

Création d'un jeu 2D type platformer utilisant le modèle ECS

ecs game-development ocaml

Last synced: 12 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/alanvf/star_parser

WIP parser for the Star programming language

menhir ocaml parser star

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/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/jeronimobarea/toml-merge

A small script written in Ocaml to merge all the toml files from a given directory

ocaml toml

Last synced: 27 Jan 2025

https://github.com/thecoachingonline/hello-ocaml

Hello World OCaml

ocaml

Last synced: 03 Feb 2025

https://github.com/vogler/ppx_distr_guards

OCaml ppx extension to distribute guards over or-patterns (Warning 57)

ocaml ppx

Last synced: 23 Dec 2024

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/owainlewis/dune-example-project

An example project using OCaml dune

ocaml

Last synced: 01 Feb 2025

https://github.com/ftovagliari/ocamlfpdf

OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.

ocaml pdf-generation

Last synced: 12 Dec 2024

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/zshipko/ocaml-redis-module

Redis Modules in OCaml

ocaml redis

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.

findlib ocaml ocaml-plugin

Last synced: 02 Feb 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/maxm33/minicaml-interpreter

An interpreter written in Java that understands a subset of OCaml instructions.

interpreter ocaml

Last synced: 21 Jan 2025

https://github.com/r-cha/tritip

cli for typing practice

cli ocaml typing-practice

Last synced: 20 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/paurkedal/opam-repo-paurkedal

ocaml opam-repository

Last synced: 20 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/bahmanm/stockman-ml

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Jan 2025

https://github.com/master-of-none/ocaml

Some OCaml Work

ocaml

Last synced: 02 Feb 2025

https://github.com/iwankaramazow/track

Exploration in lexing

lexer ocaml reason

Last synced: 20 Jan 2025

https://github.com/cxa/oasis-mode

major-mode for editing OCaml _oasis files

emacs oasis ocaml

Last synced: 12 Jan 2025

https://github.com/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 23 Jan 2025

https://github.com/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

https://github.com/dofera/mtasc

Motion-Twin ActionScript 2 Compiler

actionscript flash ocaml

Last synced: 22 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/gfngfn/lambda-next-box

code-generation interpreter metaprogramming ocaml type-checker type-system

Last synced: 15 Jan 2025

https://github.com/amahanna/sandbox

languages practiced go here

cpp golang java lisp ocaml prolog python vhdl

Last synced: 28 Dec 2024

https://github.com/aleksrutins/reason-template

An extremely bare-bones Reason + Esy template.

esy ocaml reason reasonml

Last synced: 20 Jan 2025

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 23 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/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 15 Dec 2024

https://github.com/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 15 Dec 2024

https://github.com/adelloste/pf

OCaml - Functional programming

ocaml

Last synced: 29 Jan 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 15 Dec 2024

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.

ocaml

Last synced: 19 Jan 2025