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/magnitopic/ft_turing
Ever heard of Turing’s machine?
42cursus ft-turing ft-turing42 ocaml turing-machine turing-machine-simulator
Last synced: 21 Jan 2025
https://github.com/sagnikc395/functional-programming
Some Functional Programming fun in OCaml.
cs3110 functional-programming ocaml plt
Last synced: 21 Jan 2025
https://github.com/bitmaybewise/ocaml-playground
mirrored from https://gitlab.com/bitmaybewise/ocaml-playground
Last synced: 21 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/davideimola/myinterpreter
Interpreter built in OCaml
interpreter ocaml university university-project
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/nicklatch/ocaml_learn_exercises
My solutions to the ocaml.org exercises
functional-programming ocaml practice
Last synced: 21 Jan 2025
https://github.com/bcc32/countdown
Puzzle solvers for the Countdown game show
Last synced: 11 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/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: 05 Feb 2025
https://github.com/yawaramin/gen_json_string
Utility to generate fake JSON data from a JSON Schema
Last synced: 11 Jan 2025
https://github.com/armanddidierjean/tipe-interpreteur-pour-le-langage-ocaml
Projet d'implémentation d'un interpréteur dans le cadre du TIPE
ast grammar interpreter language ocaml
Last synced: 07 Jan 2025
https://github.com/lmarzocchetti/wangtiles-ml
Wang Tiles generator in Ocaml
functional functional-programming ml ocaml wang-tiles
Last synced: 07 Jan 2025
https://github.com/navierula/learningneverends
New Year's Resolution 2017+2018: learn new programming languages :)
Last synced: 21 Jan 2025
https://github.com/federicobruzzone/99-ocaml-problems
Implementations of the 99 problems in OCaml.
99problems functional-programming ocaml problem-solving
Last synced: 09 Nov 2024
https://github.com/federicobruzzone/setup-ocaml-project-without-dune
This repository provides a basic setup for an OCaml project without using Dune as the build system. It aims to provide a simple and straightforward structure for your OCaml project, allowing you to focus on writing code without the complexities of a build system.
functional-programming ocaml ocamlbuild project-template setuptools
Last synced: 09 Nov 2024
https://github.com/justynhunter/advent-of-code-2015
Advent of Code 2015 done in Ocaml
advent-of-code-2015 advent-of-code-2015-ocaml ocaml
Last synced: 21 Jan 2025
https://github.com/mikejeuga/fonctionnelle
Just some files while I am learning
functional-programming learning ocaml
Last synced: 21 Jan 2025
https://github.com/thehxdev/ocaml-practice
Solving some problems with Ocaml
Last synced: 21 Jan 2025
https://github.com/vit0rr/ocamllex-findout
Generate JSON tokens using Ocamllex
Last synced: 05 Feb 2025
https://github.com/rdck/ocaml-module-introduction
source code for "Introduction to the OCaml Module System"
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/yayuniversal/projet-ipf-s2
Functional programming project of the 2nd semester - ENSIIE
decision-trees functional-programming ocaml
Last synced: 08 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/risto-stevcev/bs-callbag-batteries
Callbags with batteries included
Last synced: 09 Nov 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/risto-stevcev/bs-callbag-to-promise
Convert an async pullable source into a promise
Last synced: 09 Nov 2024
https://github.com/risto-stevcev/bs-callbag-last
Creates a callbag containing only the last signal from the given stream
Last synced: 09 Nov 2024
https://github.com/gfngfn/lambda-next-box
code-generation interpreter metaprogramming ocaml type-checker type-system
Last synced: 15 Jan 2025
https://github.com/arata-nvm/tedate
✏I want to learn about functional programming.
Last synced: 08 Jan 2025
https://github.com/lue-bird/elm-syntax-to-ocaml
transpile elm to ocaml
elm elm-syntax ocaml transpiler
Last synced: 08 Jan 2025
https://github.com/algojobs/ocaml-jobs
The latest OCaml jobs, updated weekly.
jobs jobsearch ocaml software-engineering
Last synced: 21 Jan 2025
https://github.com/mk-fg/ghg
Simple command-line NaCl/libsodium file encryption tool
cli cryptography nacl ocaml security tool
Last synced: 07 Jan 2025
https://github.com/juniforge/nmap_xml_parser
A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.
Last synced: 30 Dec 2024
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/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/rodrigooler/react-native-reason
Wonderful boilerplate using Reason with react-native
javascript ocaml react react-native react-native-reason reason yarn
Last synced: 21 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/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 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/savonet/ocaml-pipewire
OCaml bindings to the PipeWire library.
Last synced: 04 Feb 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/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/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/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/eratio08/ads_ocaml
Algorithms & Data Structuress in OCaml
Last synced: 21 Jan 2025
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/peter-roh/ocaml
taking 'programming languages' course
functional-programming interpreter ocaml programming-languages
Last synced: 21 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/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/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/douglarek/cs3110
Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】
Last synced: 22 Dec 2024
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/rastreus/ocaml-book-club
Working through OCaml Books... for Fun!
bookclub education learning ocaml
Last synced: 28 Dec 2024
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/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 29 Jan 2025
https://github.com/mustafaaamir/lamlt
A typed lambda-calculus evaluator written in OCaml
Last synced: 29 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/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/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/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/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/owainlewis/dune-example-project
An example project using OCaml dune
Last synced: 01 Feb 2025
https://github.com/alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
Last synced: 24 Dec 2024
https://github.com/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 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/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
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/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 30 Jan 2025
https://github.com/tsaidavid/exercism
algorithms exercism exercism-javascript javascript ocaml reason reasonml
Last synced: 17 Dec 2024
https://github.com/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 30 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/siarie/aoc2024
Advent Of Code 2024
advent-of-code-2024 adventofcode adventofcode2024 ocaml
Last synced: 05 Feb 2025
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 17 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
