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.

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/vshender/nats.ml

OCaml client for NATS, the cloud native messaging system.

nats ocaml

Last synced: 19 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/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/ryloric/bucklescript-fluture

BuckleScript bindings for fluture-js

bucklescript bucklescript-bindings ocaml reasonml

Last synced: 21 Jan 2025

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/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).

dune menhir ocaml ocamllex

Last synced: 21 Jan 2025

https://github.com/ryloric/ocaml-dune-skeleton

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 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/bryik/experiments-in-ocaml

Small snippets of OCaml.

ocaml

Last synced: 19 Jan 2025

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

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

https://github.com/mbarbin/doc-experiment-docusaurus

Experimenting with docusaurus+odoc

docusaurus ocaml ocaml-mdx odoc

Last synced: 21 Jan 2025

https://github.com/domai-tb/functional-programming-ss24

Exercise solution for the course "Functional Programming" af summer semester 2024

functional-programming ocaml

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/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/maxrn/locksmith

Easily convert between export formats of different password managers for migration.

ocaml password-manager

Last synced: 21 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/pawannnnn/text_adventure

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

ocaml

Last synced: 23 Nov 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/theteachr/aoc-2021

Solutions for AoC 2021 (OCaml)

aoc aoc2021 ocaml

Last synced: 11 Jan 2025

https://github.com/atomicptr/pathlib-ml

Experimental path library for OCaml inspired by Pythons pathlib.

ocaml ocaml-library path

Last synced: 21 Jan 2025

https://github.com/brocksam/99-camls

My solutions to the 99 exercises in OCaml

exercises ocaml

Last synced: 26 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.

interpreter ocaml

Last synced: 13 Dec 2024

https://github.com/owainlewis/dune-example-project

An example project using OCaml dune

ocaml

Last synced: 01 Feb 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/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/idkjs/simple-fetch-graphql-tutorial

ReasonML and Graphql without Graphql

axios bs-axios bs-fetch graphql ocaml reason reasonml

Last synced: 04 Feb 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/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/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 Jan 2025

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

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 04 Feb 2025

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/keturiosakys/advent-of-code

Watch me write some bad Rust, OCaml code

advent-of-code ocaml rust

Last synced: 28 Jan 2025

https://github.com/bcc32/99

https://wiki.haskell.org/99_Haskell_exercises

exercises ocaml

Last synced: 11 Jan 2025

https://github.com/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 21 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.

examples ocaml

Last synced: 05 Jan 2025

https://github.com/sunsided/ocaml-playground

Playing around with OCaml

ocaml

Last synced: 20 Dec 2024

https://github.com/pawvan/m-lua

o lua m'lua

lua ocaml

Last synced: 02 Feb 2025

https://github.com/douglarek/cs3110

Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】

cs3110 ocaml ocaml-exercises

Last synced: 22 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/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/ushitora-anqou/qash2

A programming language for double-entry accounting

accounting ocaml

Last synced: 03 Jan 2025

https://github.com/dimeeentor/university-disrete-math

Projects for my university for Discrete Mathematics course.

ocaml university-project

Last synced: 21 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/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

Last synced: 21 Jan 2025

https://github.com/lambdabaa/ocamlconf

Autoconf for OCaml codebases

makefile ocaml

Last synced: 04 Jan 2025

https://github.com/strykerkkd/plai-in-ocaml

Programming Languages: Application and Interpretation with Ocaml

core jbuilder ocaml sexp

Last synced: 29 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/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 25 Dec 2024

https://github.com/bfontaine/pfav

School project

ocaml paris-diderot

Last synced: 05 Feb 2025

https://github.com/eratio08/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

https://github.com/mustafaaamir/lamlt

A typed lambda-calculus evaluator written in OCaml

lambda-calculus ocaml

Last synced: 29 Jan 2025

https://github.com/tweag/okapi

Gazelle Extension for OBazl

bazel gazelle obazl ocaml

Last synced: 29 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/peter-roh/ocaml

taking 'programming languages' course

functional-programming interpreter ocaml programming-languages

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/pombadev/pkgman

ocaml

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

bz2 bzip2 dune ocaml

Last synced: 25 Dec 2024

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/anntnzrb/aoc24-ocaml

Advent of Code 2024, in OCaml

aoc ocaml

Last synced: 02 Feb 2025

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

Dumping ground for OCAML

ocaml

Last synced: 18 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/james-p-d/pegsolitaire

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 18 Jan 2025

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

Hello World OCaml

ocaml

Last synced: 03 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/puripuri2100/xml2saty

This software converts xml file to SATySFi's document file.

ocaml opam satysfi satysfi-document xml xml2saty

Last synced: 29 Dec 2024

https://github.com/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 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/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 2025

https://github.com/tjade273/compling

Computational Linguistics Final Project Spring 2017

linguistics ocaml

Last synced: 31 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/ahnineamine/log-analysis-api

OCaml-based REST API designed to process, analyze, and transform log data

dune functional-programming ocaml

Last synced: 04 Feb 2025

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/erwanlem/projet_kawa

Interpréteur pour le langage objet Kawa

interpreter ocaml

Last synced: 12 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/diohabara/dump_ocamlformat

dump preset ocamlformat configuration

config ocaml ocamlformat opam

Last synced: 30 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/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/kaawan-d20/dpf-2024-binarytree

🐫 Code OCaml du projet de Programmation Fonctionnelle de L2S4

binary-tree functional-programming ocaml university-project

Last synced: 02 Feb 2025

https://github.com/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

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/atomicptr/zebang

File based script runner powered by shebang

ocaml script-runner

Last synced: 21 Jan 2025

OCaml Awesome Lists
awesome-ocaml 381 awesome-fp-jobs 30 awesome-ocaml 40
OCaml Categories
Libraries 40 Compilers and Compiler Tools 23 Purely Functional 17 General 17 Community 15 Developer Tools 15 Web Development 15 Impure / Multi-Paradigm 13 Databases 11 Books 10 Metaprogramming 10 Algorithms and Data Structures 10 Exercises and Short Examples 9 IDEs and Editors 8 Language-related 8 Concurrency 8 Application Libraries 7 Online Courses 7 Tools 6 Learning Resources 6