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-23 00:17:44 UTC
- JSON Representation
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 21 Jan 2025
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/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
Last synced: 21 Jan 2025
https://github.com/marindereggi/ocaml-linda
Tuple Space-Based Parallel Programming in OCaml
linda ocaml ocaml-library ocaml-multicore parallel-programming tuplespace
Last synced: 21 Jan 2025
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 20 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/atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Last synced: 21 Jan 2025
https://github.com/filipeom/wasm-se-bench
Benchmarking Symbolic Execution tools for Wasm
ocaml python symbolic-execution wasm
Last synced: 21 Jan 2025
https://github.com/alesiong/effects-ocaml
Algebraic effects examples in OCaml
algebraic-effects effects ocaml
Last synced: 21 Jan 2025
https://github.com/cgyurgyik/caml-pox
Epidemic simulation game.
epidemic epidemic-game epidemic-theory functional functional-programming game ocaml
Last synced: 16 Jan 2025
https://github.com/mbarbin/opam-repository
An opam repository for publishing ocaml packages
Last synced: 11 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/eratio08/learn-angstrom
Learning about OCaml's Angstrom lib
Last synced: 21 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/bohun9/tiger-ocaml
Tiger Compiler 🐅
ocaml tiger tiger-compiler x86-64
Last synced: 21 Jan 2025
https://github.com/isaac-defrain/multi-client-server
A multi-client server for a simple shared ledger written in OCaml
Last synced: 15 Dec 2024
https://github.com/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 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/faber-1/parsite
A micro library for simple parsing combinators.
dune ocaml parsing-combinators parsing-library string
Last synced: 21 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/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/peter-roh/ocaml
taking 'programming languages' course
functional-programming interpreter ocaml programming-languages
Last synced: 21 Jan 2025
https://github.com/code-help-tutor/ocaml-parser-hw9
OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 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/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/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/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/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/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/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/strykerkkd/plai-in-ocaml
Programming Languages: Application and Interpretation with Ocaml
Last synced: 01 Dec 2024
https://framagit.org/zoggy/ocaml-stk
Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/
Last synced: 30 Nov 2024
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 23 Jan 2025
https://github.com/code-help-tutor/ocaml-parser
OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 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/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/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/susji/opl
Toy compiler for PL/0, emits x86-64 assembly for Linux
Last synced: 14 Dec 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/kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
http http-signature ocaml ocaml-library
Last synced: 25 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/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 13 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/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/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
Last synced: 21 Jan 2025
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/isaac-defrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Last synced: 15 Dec 2024
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/jeronimobarea/toml-merge
A small script written in Ocaml to merge all the toml files from a given directory
Last synced: 29 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/sean-clayton/helmet
bucklescript ocaml reason-react reasonml
Last synced: 25 Dec 2024
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: 03 Dec 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/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 18 Jan 2025
https://github.com/sreecharanv/tokenization-and-categorization-using-ocaml-a-lexical-analysis-approach
An OCaml-based lexical analyzer that identifies and classifies tokens such as identifiers, operators, punctuation symbols, integer literals, and keywords. The project involves tokenizing input text, categorizing tokens, and printing them with their respective categories. Key functions include tokenize, is_alnum, is_punctuation, and print_tokens.
lexical-analysis lexical-analyzer ocaml ocaml-program tokenization
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/lemoineat/grunt-ocamlbuild
Use ocamlbuild to compile some OCaml code with grunt
grunt javascript ocaml ocamlbuild
Last synced: 16 Dec 2024
https://github.com/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 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/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 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/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/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/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/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 02 Dec 2024
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
https://github.com/rootmos/wwwo
My continuation-passing style static website generator written in OCaml
Last synced: 26 Jan 2025
https://github.com/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 02 Dec 2024
https://github.com/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 02 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/gaku-sei/bucklescript-tea-showcase
Playing with OCaml and Bucklescript TEA
bucklescript elm-architecture ocaml
Last synced: 22 Dec 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/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 17 Dec 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/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
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/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 21 Jan 2025
https://github.com/rizo/generics
Lightweight datatype-generic programming for OCaml.
Last synced: 27 Jan 2025
