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-22 00:21:58 UTC
- JSON Representation
https://github.com/peter-roh/ocaml
taking 'programming languages' course
functional-programming interpreter ocaml programming-languages
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/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/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 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/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 07 Dec 2024
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/maelvls/maelvls
My GitHub README.md available at https://github.com/maelvls
engineer go kubernetes ocaml readme-profile
Last synced: 24 Nov 2024
https://github.com/alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
Last synced: 24 Dec 2024
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 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/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/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/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/navierula/learningneverends
New Year's Resolution 2017+2018: learn new programming languages :)
Last synced: 21 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/lemoineat/grunt-ocamlbuild
Use ocamlbuild to compile some OCaml code with grunt
grunt javascript ocaml ocamlbuild
Last synced: 16 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/lmarzocchetti/wangtiles-ml
Wang Tiles generator in Ocaml
functional functional-programming ml ocaml wang-tiles
Last synced: 07 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/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 27 Nov 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/keturiosakys/advent-of-code
Watch me write some bad Rust, OCaml code
Last synced: 29 Nov 2024
https://github.com/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 01 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/chaarlesss/lipgloss
Style definitions for nice terminal layouts in OCaml 👄
Last synced: 25 Nov 2024
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/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/davideimola/myinterpreter
Interpreter built in OCaml
interpreter ocaml university university-project
Last synced: 21 Nov 2024
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/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: 28 Sep 2024
https://github.com/jpleboeuf/exercism_ocaml
My solutions to the exercises from the OCaml track on Exercism.
exercism exercism-solutions exercism-track ocaml
Last synced: 20 Jan 2025
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 13 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/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/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/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 21 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/dimeeentor/university-disrete-math
Projects for my university for Discrete Mathematics course.
Last synced: 21 Jan 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/bcc32/countdown
Puzzle solvers for the Countdown game show
Last synced: 11 Jan 2025
https://github.com/prawater/monkey_interpreter
Tree walking interpreter written in OCaml
Last synced: 11 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/lamg/twitter_scanner
Stores tweets and user profiles in an Sqlite DB.
Last synced: 25 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/artainmo/general-programming
Notes from studying and small projects surrounding general-programming.
assembly bits c clean-code collaboration cpp how-to-learn ide ocaml operating-systems os python rust shell study vim
Last synced: 22 Nov 2024
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: 01 Dec 2024
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: 01 Dec 2024
https://github.com/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
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/bitmaybewise/ocaml-playground
mirrored from https://gitlab.com/bitmaybewise/ocaml-playground
Last synced: 21 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/sagnikc395/functional-programming
Some Functional Programming fun in OCaml.
cs3110 functional-programming ocaml plt
Last synced: 21 Jan 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/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/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
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/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/mikaello/ocaml-libxml2
ocaml-libxml2 is a library for calling libxml2 functions from OCaml
Last synced: 13 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/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Nov 2024
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/applejag/adventofcode-2024-ocaml
My attempt at Advent of Code 2024 using OCalm https://adventofcode.com/2024
advent-of-code advent-of-code-2024 advent-of-code-ocaml ocaml
Last synced: 02 Dec 2024
https://github.com/vshender/nats.ml
OCaml client for NATS, the cloud native messaging system.
Last synced: 19 Dec 2024
https://github.com/roguh/clox
Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.
dune interpreter lox menhir ocaml
Last synced: 27 Nov 2024
https://github.com/susji/opl
Toy compiler for PL/0, emits x86-64 assembly for Linux
Last synced: 14 Dec 2024
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/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 02 Dec 2024
https://github.com/rootmos/wwwo
My continuation-passing style static website generator written in OCaml
Last synced: 28 Nov 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/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
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/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 02 Dec 2024
https://github.com/ggsmith842/crypto-hacks
CTF challenges from the Cryptohack Cryptography course.
Last synced: 21 Jan 2025
https://github.com/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 02 Dec 2024
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/kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
http http-signature ocaml ocaml-library
Last synced: 25 Dec 2024
https://github.com/vit0rr/lexical_analysis
Lexical analysis interpreter step in OCaml
functional-programming lexer lexical-analysis ocaml
Last synced: 28 Nov 2024
https://github.com/awesomelistsio/awesome-ocaml
A curated list of awesome frameworks, libraries, tools, and resources for the OCaml programming language.
awesome awesome-list awesome-lists ocaml
Last synced: 28 Nov 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: 29 Nov 2024
