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-28 00:21:10 UTC
- JSON Representation
https://github.com/smimram/ocaml-dblp
OCaml library to use the DBLP bibliographic database API.
bibliography bibtex dblp ocaml
Last synced: 12 Oct 2024
https://github.com/progbits/spacebar
A C to Whitespace transpiler.
c esolang menhi ocaml transpiler whitespace
Last synced: 14 Nov 2024
https://github.com/zeta611/effect_based_interpreter
A modular interpreter using effects and effect handlers
algebraic-effects effect-handlers interpreter monad monad-transformers ocaml
Last synced: 06 Dec 2024
https://github.com/jdan/ocaml-tictactoe
Playing around with some OCaml + Bucklescript + Express + Socket.io
bucklescript express ocaml socket-io
Last synced: 01 Jan 2025
https://github.com/naereen/minipy-interpreter-in-ocaml
My local copy of files from https://github.com/LaurentMazare/LaurentMazare.github.io/tree/master/minipy, whose code is there https://github.com/LaurentMazare/ocaml-minipy
ace-editor bootstrap js-of-ocaml minipython-interpreter ocaml ocaml-interpreter python-interpreter repl toplevel
Last synced: 31 Dec 2024
https://github.com/idkjs/reason-cssgrid-media
css-grid images and audio with reasonml demo
bs-director bucklescript css-grid ocaml reason reason-react reasonml
Last synced: 10 Dec 2024
https://github.com/eudoxia0/ocaml-nix-starter
OCaml starter project template using Nix for reproducibility.
dune nix ocaml project-template
Last synced: 23 Dec 2024
https://github.com/melwyn95/learn-ocaml
Solutions to https://ocaml-sf.org/learn-ocaml-public/#
Last synced: 09 Dec 2024
https://github.com/sanxiyn/ocaml-ancient
Unlimited size ancient heap for OCaml (Mirror of git://git.annexia.org/ocaml-ancient.git)
Last synced: 02 Jan 2025
https://github.com/fersilva16/exercism-ocaml
My solutions for Exercism's OCaml Track
Last synced: 23 Dec 2024
https://github.com/stefanwaldhauser/ocamlrandom
Random OCaml Code that could be useful to some
eidi2 exam functional-programming ocaml technical-university-munich tum
Last synced: 13 Jan 2025
https://github.com/ludovicm67/ocaml-turing-machine
Machine de Turing réalisée en Ocaml
caml ocaml turing-machine university university-project
Last synced: 16 Dec 2024
https://github.com/kkazuo/azblob
A trivial Azure Blob Storage interface for OCaml
Last synced: 16 Jan 2025
https://github.com/puripuri2100/yojson-rs
yojson parser for Rust
cargo crates json json-parser ocaml rust yojson
Last synced: 13 Oct 2024
https://github.com/jottenlips/deprecated-jottenlips.github.io
📃 ReasonML markdown blog engine, turn an S3 bucket into a Github Pages blog
blog-engine experiment functional-programming jamstack javascript markdown ocaml react reason reasonml webpack
Last synced: 21 Dec 2024
https://github.com/aantron/bisect-ci-integration-megatest
Bisect_ppx web integrations testing
Last synced: 21 Jan 2025
https://github.com/isaac-defrain/todo
Todo list application built to explore different features of the OCaml language
functional-programming functors modules ocaml
Last synced: 15 Dec 2024
https://github.com/zsc/jasmine
A distributed make in JoCaml
distributed-computing jocaml ocaml
Last synced: 13 Jan 2025
https://github.com/gourab337/ocaml-ihho
An OCaml implementation of the paper https://www.researchgate.net/project/Improved-Harris-Hawk-Optimization
feature-selection metaheuristic-optimisation ocaml
Last synced: 22 Jan 2025
https://github.com/radionoisee/bd
Bangumi scraper for bilibili.
bangumi bilibili downloader ocaml
Last synced: 09 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/kkazuo/bs-gcloud
Google Cloud Datastore bindings of BuckleScript.
bucklescript-bindings google-cloud ocaml
Last synced: 16 Jan 2025
https://github.com/dlesbre/kotlin-compiler
Compiler for a simple fragment of kotlin
Last synced: 20 Dec 2024
https://github.com/dlesbre/advent-of-code
Puzzle solutions for advent of code 2022, 2023 and 2024
advent-of-code advent-of-code-2022 advent-of-code-2023 advent-of-code-2024 ocaml rust
Last synced: 20 Dec 2024
https://github.com/bcc32/tap
Test Anything Protocol for OCaml
ocaml perl prove tap test-anything-protocol testing
Last synced: 11 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/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/frost-phoenix/ocaml-fractals
Some fractals renderings made with ocaml
Last synced: 21 Jan 2025
https://github.com/sano-jin/learn-jsoo
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.
dom-manipulation javascript js-of-ocaml ocaml web-app
Last synced: 21 Jan 2025
https://github.com/sim642/ppx_deriving_hash
[@@deriving hash]
hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 Dec 2024
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/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Jan 2025
https://github.com/smimram/collage
Make photo collages (to print photobooks).
Last synced: 18 Dec 2024
https://github.com/federicobruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
coq coq-library functional-programming ocaml software-foundations
Last synced: 10 Oct 2024
https://github.com/paurkedal/spreadsheet-demo
An FRP Experiment
eliom experimental ocaml ocsigen
Last synced: 20 Jan 2025
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/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/richeyryan/reason-projects
A collection of projects written in Reason
bucklescript js nodejs ocaml reason reasonml
Last synced: 20 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/jubnzv/aoc2021
Solutions to Advent of Code 2021
advent-of-code advent-of-code-2021 advent-of-code-ocaml ocaml
Last synced: 07 Dec 2024
https://github.com/gabrielemaurina/workspace
Personal workspace. Years of code shouldn't be lost.
cpp eiffel erlang java javascirpt ocaml python scala
Last synced: 05 Dec 2024
https://github.com/marekjm/real-world-ocaml-code
Code written while reading "Real World OCaml" (with examples updated to newer Core)
Last synced: 07 Dec 2024
https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 22 Jan 2025
https://github.com/arc-hugo/debt_calculator
Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.
flow ford-fulkerson-algorithm functional-programming graph ocaml
Last synced: 24 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/paurkedal/ppx_compose
Composition Inlining for OCaml
combinator function-composition ocaml optimization ppx-rewriter
Last synced: 20 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/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/naereen/iocamljs-static
A static build of IOCamlJS kernel for IPython notebook - see https://github.com/andrewray/iocamljs/tree/gh-pages
iocaml ipython-notebook jekyll-site js-of-ocaml jupyter-kernel jupyter-notebook jupyter-ocaml ocaml ocaml-jupyter
Last synced: 31 Dec 2024
https://github.com/dpbm/testing-ocaml
testing ocaml language
ocaml ocaml-language ocaml-lernaing ocaml-program testing-language testing-new-programming-language
Last synced: 19 Jan 2025
https://github.com/dannywillems/ocaml-bls12-381
Fast BLS12-381 implementation in OCaml
bls-signature bls12-381 blst cryptography fft hash-to-curve ocaml pairing pairing-cryptography poseidon rescue signatures tezos zero-knowledge
Last synced: 12 Oct 2024
https://github.com/jchavarri/jsoo-is-sorted
Js_of_ocaml bindings to JavaScript library is-sorted
Last synced: 30 Nov 2024
https://github.com/vascorsd/test_app_ocaml
Minimal example trying to use ocaml language
Last synced: 28 Dec 2024
https://github.com/mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Last synced: 30 Nov 2024
https://github.com/unikraft/lib-ocaml
OCaml runtime library
library ocaml unikraft unikraft-library
Last synced: 19 Jan 2025
https://github.com/slamko/ocadl
Blazingly type safe GPU accelerated Multi-Layer Perceptron
deep-learning dependent-types functional-programming gadt neural-network ocaml type-safe
Last synced: 21 Jan 2025
https://github.com/qnighy/fplp-interpreter
関数・論理型プログラミング実験
interpreter ocaml type-inference
Last synced: 13 Dec 2024
https://github.com/kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Last synced: 25 Dec 2024
https://github.com/unixjunkie/diskuv-ocaml
mirror of https://gitlab.com/diskuv/diskuv-ocaml.git
Last synced: 04 Dec 2024
https://github.com/agiraudet/ft_turing
Turing Machine Emulator
ocaml turing-machine universal-turing-machine writeups
Last synced: 21 Nov 2024
https://github.com/strykerkkd/maco
virtual machine in ocaml
bytecode-interpreter ocaml virtual-machine vm
Last synced: 01 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/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 26 Jan 2025
https://github.com/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 02 Dec 2024
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/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/sano-jin/dhl-alpha
A minimal compiler and runtime for a language based on graph rewriting
compiler interpreter ocaml programming-language
Last synced: 02 Dec 2024
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/mbarbin/provider
Dynamic Dispatch with Traits
dynamic-dispatch ocaml parametrization trait
Last synced: 12 Oct 2024
https://github.com/nwaywood/the-super-tiny-compiler-ocaml
Implementation of The Super Tiny Compiler in OCaml
Last synced: 23 Dec 2024
https://github.com/kuy/today-anime
I can't keep in mind a day of the week of my favorite animes' broadcast 😇
Last synced: 09 Jan 2025
https://github.com/kuy/parseco
Learning parser combinators in OCaml + Core.
Last synced: 09 Jan 2025
https://github.com/unixjunkie/shlang
A DSL for operations over files
cash cli ocaml scsh unix-shell
Last synced: 04 Dec 2024
https://github.com/mitchellgray100/uno
Ocaml terminal based Uno Game.
ai ocaml terminal-based terminal-game uno uno-game
Last synced: 04 Dec 2024
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
Last synced: 04 Dec 2024
https://github.com/idkjs/reason-react-native-web-template
Starter, React-Native-Web [Demo](https://codesandbox.io/s/q4qymyp2l6) in ReasonML and ReasonReactNative
bs-react-native demo ocaml react-native-web reasonml
Last synced: 10 Dec 2024
https://github.com/kalongn/cse-216
Programming Abstraction (College Class).
functional-programming generic java ocaml python recursion type-hierarchies
Last synced: 11 Dec 2024
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/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
