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/dlesbre/kotlin-compiler
Compiler for a simple fragment of kotlin
Last synced: 20 Dec 2024
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
Last synced: 31 Jan 2025
https://github.com/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 30 Jan 2025
https://github.com/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 30 Jan 2025
https://github.com/mitchellgray100/uno
Ocaml terminal based Uno Game.
ai ocaml terminal-based terminal-game uno uno-game
Last synced: 31 Jan 2025
https://github.com/harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit
Last synced: 13 Dec 2024
https://github.com/mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Last synced: 29 Jan 2025
https://github.com/mbarbin/eio-rpc
A collection of opinionated libraries designed to build RPC clients and servers with eio
eio grpc ocaml protocol-buffers rpc
Last synced: 11 Jan 2025
https://github.com/rizo/jx
External JavaScript language interface for OCaml.
Last synced: 27 Jan 2025
https://github.com/cedlemo/ocaml-bsonc
Ctypes bindings to libbson for OCaml
bson ctypes-bindings libbson libmongoc mongo ocaml ocaml-bsonc
Last synced: 12 Dec 2024
https://github.com/mbarbin/dune-rpc-eio
Communicate with dune using rpc and Eio
Last synced: 11 Jan 2025
https://github.com/federicobruzzone/setup-ocaml-project-with-dune
This repository provides a basic setup for an OCaml project with 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: 03 Jan 2025
https://github.com/radionoisee/bd
Bangumi scraper for bilibili.
bangumi bilibili downloader ocaml
Last synced: 09 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/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/jchavarri/jsoo-is-sorted
Js_of_ocaml bindings to JavaScript library is-sorted
Last synced: 29 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/lebrancconvas/hackerrank-functional-programming
Programming in Functional Programming by using Hackerrank Problem.
clojure elixir erlang fsharp functional-programming hackerrank haskell lisp ocaml racket scala
Last synced: 08 Jan 2025
https://github.com/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 11 Jan 2025
https://github.com/mbarbin/auto-format
Building auto format commands for custom languages
auto-formatter dune dune-fmt fmt ocaml
Last synced: 11 Jan 2025
https://github.com/cheukchuen/go-to-wasm
Golang to WebAssembly compiler written in OCaml
compiler-design golang ocaml webassembly
Last synced: 11 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/maolonglong/bogoscheme
A subset of Scheme
menhir ocaml ocamllex repl scheme scheme-interpreter
Last synced: 26 Dec 2024
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/maxime-cllt/osmium
Compression d'image JPEG avec la Singular Value Decomposition (SVD)
compress-images gsvd image-processing ocaml svd
Last synced: 21 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/vascorsd/test_app_ocaml
Minimal example trying to use ocaml language
Last synced: 28 Dec 2024
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/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/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 26 Jan 2025
https://github.com/cfcs/nvlist
Sun/Solaris serialization format library
ocaml serialization-library solaris zfs zfs-filesystem
Last synced: 17 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/kkazuo/bs-gcloud
Google Cloud Datastore bindings of BuckleScript.
bucklescript-bindings google-cloud ocaml
Last synced: 16 Jan 2025
https://github.com/speedcell4/tiger-book
modern compiler implementation in OCaml
Last synced: 06 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/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/jchavarri/bs-playground-bundler
Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts
Last synced: 18 Dec 2024
https://github.com/prawater/monkey_interpreter
Tree walking interpreter written in OCaml
Last synced: 11 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/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/cgyurgyik/caml-pox
Epidemic simulation game.
epidemic epidemic-game epidemic-theory functional functional-programming game ocaml
Last synced: 16 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/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/twolodzko/loco
Lisp implemented in OCaml, Oooh!
lisp lisp-interpreter ocaml scheme scheme-interpreter
Last synced: 22 Dec 2024
https://github.com/kuy/99-ocaml-problems
My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html
Last synced: 09 Jan 2025
https://github.com/yawaramin/wsh-bs-test
Windows Script Host / BuckleScript test
bucklescript ocaml windows-scripts
Last synced: 11 Jan 2025
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/atomicptr/zebang
File based script runner powered by shebang
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/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/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/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/ushitora-anqou/qash2
A programming language for double-entry accounting
Last synced: 03 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/mbarbin/doc-experiment-docusaurus
Experimenting with docusaurus+odoc
docusaurus ocaml ocaml-mdx odoc
Last synced: 21 Jan 2025
https://github.com/owainlewis/dune-example-project
An example project using OCaml dune
Last synced: 01 Feb 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: 27 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/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 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/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 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