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-14 00:17:08 UTC
- JSON Representation
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/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/j14159/alpaca-record-sketch1
Experiments to JIT simple record operations with LLVM in OCaml.
Last synced: 09 Feb 2025
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 09 Feb 2025
https://github.com/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 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/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/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/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/ftovagliari/ocamlfpdf
OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.
Last synced: 06 Feb 2025
https://github.com/cedlemo/ocaml-mongoc
Ctypes based OCaml bindings for the libmongoc library
bson ctypes libmongoc mongo ocaml ocaml-bsonc ocaml-mongoc
Last synced: 06 Feb 2025
https://github.com/rootmos/wwwo
My continuation-passing style static website generator written in OCaml
Last synced: 26 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/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/rizo/generics
Lightweight datatype-generic programming for OCaml.
Last synced: 27 Jan 2025
https://github.com/phthhieu/tailwind_ppx
[WIP] TailwindCSS PPX for Bucklescript/ReasonML
bucklescript ocaml reasonml tailwind tailwind-css
Last synced: 23 Jan 2025
https://github.com/richard-degenne/ocaml-textrazor
An OCaml wrapper for the TextRazor API.
Last synced: 31 Dec 2024
https://github.com/jay-es/ocaml-practice
「プログラミングの基礎」や「プログラミング in OCaml」の演習
Last synced: 22 Dec 2024
https://github.com/harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit
Last synced: 06 Feb 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/fourmew/aoc2024
Advent Of Code 2024 solutions in OCaml
advent-of-code advent-of-code-2024 ocaml puzzles
Last synced: 06 Feb 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: 06 Feb 2025
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 23 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: 06 Feb 2025
https://github.com/benhuds/ocaml-provers
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
first-order-logic ocaml propositional-logic theorem-prover
Last synced: 17 Jan 2025
https://github.com/mikaello/ocaml-libxml2
ocaml-libxml2 is a library for calling libxml2 functions from OCaml
Last synced: 06 Feb 2025
https://github.com/mungasoftwiz/terminal-screen
Program reads a stream of bytes supplied as input and generates a graphical representation of the bytes in a terminal window.
16-colors 256-colors alcotest ansi-colors bresenham-line-drawing-algorithm cli-app fmt functional-programming monochrome ocaml terminal-based
Last synced: 06 Feb 2025
https://github.com/hoddy3190/ocamlformat-vscode-extension
VSCode extension - simple wrapper for ocamlformat command
ocaml ocamlformat vscode vscode-extension
Last synced: 09 Jan 2025
https://github.com/narcisseuuh/geometricon
Implementing an abstract analyzer for a language describing geometry in R^2
Last synced: 14 Feb 2025
https://github.com/disownedwheat/fungo_of_ocaml
An experimental compiler for an Ocaml inspired language that targets Golang
Last synced: 14 Feb 2025
https://github.com/ryloric/bs-list
BuckleScript bindings for funkia/list
bucklescript-bindings ocaml reasonml
Last synced: 06 Feb 2025
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 06 Feb 2025
https://github.com/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Last synced: 21 Jan 2025
https://github.com/aadhil2k4/ocaml-ray-tracer
OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"
Last synced: 21 Nov 2024
https://github.com/ncs-pl/query-tree
Projet de Programmation Fonctionnelle, UFR ST Orléans 2024
Last synced: 23 Jan 2025
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 10 Feb 2025
https://github.com/jubnzv/ctfp
Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.
Last synced: 02 Feb 2025
https://github.com/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 Jan 2025
https://github.com/ushitora-anqou/mahout
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
docker kubernetes mastodon nusmv ocaml
Last synced: 11 Feb 2025
https://github.com/twolodzko/loco
Lisp implemented in OCaml, Oooh!
lisp lisp-interpreter ocaml scheme scheme-interpreter
Last synced: 14 Feb 2025
https://github.com/vshender/nats.ml
OCaml client for NATS, the cloud native messaging system.
Last synced: 12 Feb 2025
https://github.com/narekhovhannisyan/introduction-to-ocaml
Introduction to oCaml -> https://youtu.be/yKlcIUQ7168
for ocaml presentation public sceptics talk video
Last synced: 01 Jan 2025
https://github.com/veeara282/askyquiz
A quiz engine and editor implemented in OCaml. This was my group's midterm project for CS 3110.
cs3110 ocaml quiz-game quiz-maker
Last synced: 02 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/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/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/cmattinson/advent-of-code
OCaml my Caml
advent-of-code functional-programming ocaml
Last synced: 07 Feb 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/esy-ocaml/esy-ocaml.github.io
Umbrella website for Esy OCaml Projects
Last synced: 28 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/mbarbin/opam-repository
An opam repository for publishing ocaml packages
Last synced: 11 Jan 2025
https://github.com/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 26 Jan 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/prawater/monkey_interpreter
Tree walking interpreter written in OCaml
Last synced: 11 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.
Last synced: 13 Dec 2024
https://github.com/erwanlem/projet_kawa
Interpréteur pour le langage objet Kawa
Last synced: 12 Jan 2025
https://github.com/erwanlem/projet_pfa
Création d'un jeu 2D type platformer utilisant le modèle ECS
Last synced: 12 Jan 2025
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/johnbntn/dat
Binary Analysis Framework for Datalog
bap binary-analysis datalog logic-programming ocaml program-analysis
Last synced: 11 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/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/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.
Last synced: 19 Jan 2025
https://github.com/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 19 Jan 2025
https://github.com/jamessouth/portfolio
my portfolio
bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss
Last synced: 07 Feb 2025
