Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
OCaml
![](https://explore-feed.github.com/topics/ocaml/ocaml.png)
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/j-christl/ocaml-dfa
Simple implementation of deterministic finite automata in OCaml
automata-theory deterministic-finite-automaton ocaml theoretical-computer-science
Last synced: 24 Jan 2025
https://github.com/davideluque/ocaml-calc
OCaml implementation of a lexical analyzer, a syntactic analyzer, and a simple interpreter to simulate a table calculator.
ci3641 ocaml universidad-simon-bolivar usbve
Last synced: 08 Jan 2025
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
Last synced: 31 Jan 2025
https://github.com/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 11 Jan 2025
https://github.com/delciokelson/chat_ocaml
A chat written in ocaml using the lwt library
Last synced: 21 Jan 2025
https://github.com/red-rapious/ocaml-cas
A basic Computer Algebra System (CAS) made in OCaml
cas computer-algebra-system ocaml
Last synced: 11 Jan 2025
https://github.com/red-rapious/compilateur-petit-purescript
Compiler of the Purescript language in OCaml - Project for the "Programming languages and compilation" course 2023-2024 at ENS Ulm
Last synced: 11 Jan 2025
https://github.com/teenbiscuits/practicas-pp
Prácticas de la asignatura Paradigmas de la Programación en OCaml
Last synced: 11 Jan 2025
https://github.com/hacker-code-j/software-verification
first-order-logic ocaml propositional-logic software-verification
Last synced: 21 Jan 2025
https://github.com/jihchi/bs-puppeteer-legacy
[DEPRECATED] BuckleScript bindings to the GoogleChrome/puppeteer (Headless Chrome Node API)
automation bindings bucklescript developer-tools headless-chrome javascript node-module ocaml reason testing web
Last synced: 12 Jan 2025
https://github.com/tategakibunko/ocorm
helper functor module to map some table rows into other object like json.
Last synced: 12 Jan 2025
https://github.com/richeyryan/reason-projects
A collection of projects written in Reason
bucklescript js nodejs ocaml reason reasonml
Last synced: 03 Feb 2025
https://github.com/meta-inf/mlc
[O]Caml compiler
compiler functional-programming ocaml
Last synced: 12 Jan 2025
https://github.com/paurkedal/ppx_compose
Composition Inlining for OCaml
combinator function-composition ocaml optimization ppx-rewriter
Last synced: 20 Jan 2025
https://github.com/naereen/github-codespaces-pour-ocaml-et-c-pour-cpge-mp2i
Un template pour utiliser GitHub codespaces (site web github.dev) pour coder en OCaml en un clic dans un VSCode en ligne
cpge dune github-codespaces github-config mp2i ocaml vscode
Last synced: 23 Jan 2025
https://github.com/jubnzv/aoc2021
Solutions to Advent of Code 2021
advent-of-code advent-of-code-2021 advent-of-code-ocaml ocaml
Last synced: 02 Feb 2025
https://github.com/omnisci3nce/kosen
https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCaml
ocaml raytracing raytracing-in-one-weekend
Last synced: 19 Jan 2025
https://github.com/chichunchen/cal-translator-and-interpreter
Translator and interpreter of a small calculator language in OCaml
compiler eval interpreter ocaml semantic-analysis
Last synced: 19 Jan 2025
https://github.com/radionoisee/bd
Bangumi scraper for bilibili.
bangumi bilibili downloader ocaml
Last synced: 09 Jan 2025
https://github.com/sanette/tsdl-ttf
SDL2_ttf bindings for Ocaml with Tsdl
ocaml ocaml-bindings sdl2 sdl2-ttf ttf
Last synced: 22 Jan 2025
https://github.com/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Jan 2025
https://github.com/gustavodiasag/simpler
Interpreter for a functional, expression-based programming language
functional-programming interpreter lambda-calculus ocaml programming-language
Last synced: 14 Dec 2024
https://github.com/monkeyjunglejuice/monkeyjunglejuice.github.io
My personal blog about learning programming and other things I'm interested in :D
beginner beginner-friendly beginners-guide common-lisp emacs learn-to-code learning-notes lisp ocaml tutorials
Last synced: 13 Jan 2025
https://github.com/0xnu/fms
FMS implements a financial model for stock market simulation.
brownian-motion dynamic-portfolio-value monte-carlo monte-carlo-simulation ocaml probability-of-profit sharpe-ratio sr-lstm stock-market
Last synced: 25 Jan 2025
https://github.com/azur1s/ichor
ML-like language for the backend (WIP)
backend javascript ocaml programming-language
Last synced: 26 Jan 2025
https://github.com/solarliner/ml-difflist
Differential list implementation in OCaml
Last synced: 19 Dec 2024
https://github.com/unixjunkie/shlang
A DSL for operations over files
cash cli ocaml scsh unix-shell
Last synced: 31 Jan 2025
https://github.com/tanishiking/tiger
[WIP] Tiger language implementation in OCaml (Work in Progress).
Last synced: 26 Jan 2025
https://github.com/unixjunkie/diskuv-ocaml
mirror of https://gitlab.com/diskuv/diskuv-ocaml.git
Last synced: 31 Jan 2025
https://github.com/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 31 Jan 2025
https://github.com/esy-ocaml/esy-ci-scripts
Azure CI Pipeline for building esy projects
azure azure-pipelines ci esy ocaml reason reasonml
Last synced: 28 Dec 2024
https://github.com/leonidas-from-xiv/awwcaml
WIP Implementation of glue code to run OCaml on AWS Lambda
aws aws-lambda ocaml ocaml-bindings ocaml-library
Last synced: 22 Jan 2025
https://github.com/isaac-defrain/node-debugger
Interactive node simulator for TLA+ specification of Tezos p2p
ocaml tezos tezos-node tla tlaplus
Last synced: 15 Dec 2024
https://github.com/blaketarter/reticky-tacky
A game of tic-tac-toe built with reprocessing.
game ocaml reasonml tic-tac-toe
Last synced: 26 Dec 2024
https://github.com/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 26 Jan 2025
https://github.com/FraMecca/ffbench
test different ffmpeg trascoding settings
ffmpeg ocaml org-mode python transcode transcoding
Last synced: 25 Nov 2024
https://github.com/kkazuo/bs-gcloud
Google Cloud Datastore bindings of BuckleScript.
bucklescript-bindings google-cloud ocaml
Last synced: 16 Jan 2025
https://github.com/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 30 Jan 2025
https://github.com/red-rapious/static-analyzer
Static Analyzer for a language similar to C, written in OCaml as a projet for the class "Sémantique et Application à la vérification formelle de programmes" of 2024.
ocaml static-analysis static-analyzer
Last synced: 21 Jan 2025
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/unikraft/lib-ocaml
OCaml runtime library
library ocaml unikraft unikraft-library
Last synced: 19 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/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/idkjs/reason-react-native-elements-gitphone
Reason Version of React Native Elements's Gitphone Case Study: https://react-native-training.github.io/react-native-elements/blog/2018/12/13/react-native-web.html
bs-react-native bucklescript bucklescript-bindings ocaml react-native react-native-elements reasonml
Last synced: 04 Feb 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/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: 04 Feb 2025
https://github.com/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 Jan 2025
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
https://github.com/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/keturiosakys/advent-of-code
Watch me write some bad Rust, OCaml code
Last synced: 28 Jan 2025
https://github.com/tmcgilchrist/ocaml-bitbucket
OCaml library for bitbucket API
Last synced: 21 Jan 2025
https://github.com/ryloric/bucklescript-fluture
BuckleScript bindings for fluture-js
bucklescript bucklescript-bindings ocaml reasonml
Last synced: 21 Jan 2025
https://github.com/levichu51/pp-practicas-teoria-23-24
Prácticas de la asignatura de Paradigmas de la Programación UDC 23/24
funcional-programming ocaml udc university
Last synced: 21 Jan 2025
https://github.com/atomicptr/zebang
File based script runner powered by shebang
Last synced: 21 Jan 2025
https://github.com/ggsmith842/crypto-hacks
CTF challenges from the Cryptohack Cryptography course.
Last synced: 21 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/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 21 Jan 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/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/atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Last synced: 21 Jan 2025
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 21 Jan 2025
https://github.com/domai-tb/functional-programming-ss24
Exercise solution for the course "Functional Programming" af summer semester 2024
Last synced: 21 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/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).
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/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/code-help-tutor/ocaml-parser
OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
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/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/bohun9/tiger-ocaml
Tiger Compiler 🐅
ocaml tiger tiger-compiler x86-64
Last synced: 21 Jan 2025
https://github.com/eratio08/learn-angstrom
Learning about OCaml's Angstrom lib
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/filipeom/wasm-se-bench
Benchmarking Symbolic Execution tools for Wasm
ocaml python symbolic-execution wasm
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/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
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/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/nicklatch/ocaml_learn_exercises
My solutions to the ocaml.org exercises
functional-programming ocaml practice
Last synced: 21 Jan 2025