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-04 00:21:23 UTC
- JSON Representation
https://github.com/matrixai/ocaml-demo
OCaml Demo Project
ocaml ocaml-library ocaml-program
Last synced: 24 Jan 2025
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/smimram/ocaml-backprop
Automatic backpropagation in OCaml.
backpropagation neural-network ocaml
Last synced: 18 Dec 2024
https://github.com/joakin/ocaml-random-text-generation
markov chain text generator written in ocaml
Last synced: 19 Dec 2024
https://github.com/arthurmelton/newseekr
An alternative frontend for your favorite news outlets
frontend news ocaml privacy privacy-frontend self-hosted
Last synced: 15 Dec 2024
https://github.com/smimram/levenfind
Find pairs of similar files according to Levenshtein distance.
edit-distance levenshtein-distance ocaml
Last synced: 18 Dec 2024
https://github.com/dawee/prisml
Write OCaml through the Reason prism. Write ReasonML through the OCaml prism.
ocaml reasonml vscode-extension
Last synced: 26 Jan 2025
https://github.com/fccm2/rollmoon
A mini-game with 2d physics.
2d-physics html5-canvas html5-game ocaml rescript
Last synced: 12 Oct 2024
https://github.com/nderjung/mirage-docker
A development environment for MirageOS applications.
docker docker-image mirage ocaml toolchain
Last synced: 30 Dec 2024
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/sim642/ppx_easy_deriving
Easily define PPX derivers without boilerplate and runtime overhead
ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 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/tmcgilchrist/ocaml-jack
QuickCheck with shrinking for free
ocaml property-based-testing property-testing quickcheck test testing
Last synced: 21 Jan 2025
https://github.com/pveber/libsvm-ocaml
LIBSVM Bindings for OCaml
bindings machine-learning ocaml support-vector-machines svm
Last synced: 02 Jan 2025
https://github.com/pveber/pipes
Stream programming in the style of Haskell's {pipe, conduit, iteratee}
Last synced: 02 Jan 2025
https://github.com/smimram/collage
Make photo collages (to print photobooks).
Last synced: 18 Dec 2024
https://github.com/delciokelson/chat_ocaml
A chat written in ocaml using the lwt library
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/dhl-alpha
A minimal compiler and runtime for a language based on graph rewriting
compiler interpreter ocaml programming-language
Last synced: 30 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/cedlemo/ocaml-bsonc
Ctypes bindings to libbson for OCaml
bson ctypes-bindings libbson libmongoc mongo ocaml ocaml-bsonc
Last synced: 06 Feb 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/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 30 Jan 2025
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/unixjunkie/shlang
A DSL for operations over files
cash cli ocaml scsh unix-shell
Last synced: 31 Jan 2025
https://github.com/speedcell4/tiger-book
modern compiler implementation in OCaml
Last synced: 06 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/paurkedal/ppx_compose
Composition Inlining for OCaml
combinator function-composition ocaml optimization ppx-rewriter
Last synced: 20 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/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/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: 04 Feb 2025
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/qnighy/fplp-interpreter
関数・論理型プログラミング実験
interpreter ocaml type-inference
Last synced: 13 Dec 2024
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/haerfest/bubble-universe
Bubble Universe in Lua and OCaml
bubble-universe love-framework lua ocaml stardot
Last synced: 21 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/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/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/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/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Jan 2025
https://github.com/sim642/ocaml-arg-complete
Bash completion support for OCaml Stdlib.Arg
bash-completion ocaml ocaml-library
Last synced: 17 Dec 2024
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/nuiipointerexception/nvim
❄️ fast and minimal neovim config.
neovim-config nvim ocaml rust typescript zig
Last synced: 21 Dec 2024
https://github.com/strykerkkd/maco
virtual machine in ocaml
bytecode-interpreter ocaml virtual-machine vm
Last synced: 29 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/formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Last synced: 18 Dec 2024
https://github.com/tanishiking/tiger
[WIP] Tiger language implementation in OCaml (Work in Progress).
Last synced: 26 Jan 2025
https://github.com/gabrielemaurina/workspace
Personal workspace. Years of code shouldn't be lost.
cpp eiffel erlang java javascirpt ocaml python scala
Last synced: 01 Feb 2025
https://github.com/akabe/ocaml-js-boilerplate
A template repository for OCaml and JavaScript
functional-programming javascript ocaml
Last synced: 18 Dec 2024
https://github.com/nao1215/selfish
selfish - the shell dyed in your selfish colors.
Last synced: 18 Dec 2024
https://github.com/singularityx-ai/penify-oapi-code-gen
OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages
csharp go golang java javascript nodejs ocaml php python typescript
Last synced: 18 Dec 2024
https://github.com/prawater/monkey_interpreter.ml
Tree walking interpreter written in OCaml
Last synced: 01 Feb 2025
https://github.com/saswatpadhi/ocaml-logicalform
logic logical-forms logical-knowledge-representation ocaml ocaml-library
Last synced: 18 Dec 2024
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/zsc/jasmine
A distributed make in JoCaml
distributed-computing jocaml ocaml
Last synced: 13 Jan 2025
https://github.com/rizo/jx
External JavaScript language interface for OCaml.
Last synced: 27 Jan 2025
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/hexaredecimal/koolml
Cool meta language for the web created in python
caml functional-programming javascript metalanguage ocaml programming-language website
Last synced: 24 Dec 2024
https://github.com/jfeser/ocaml-cmph
Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
hashing mphf ocaml perfect-hash
Last synced: 17 Jan 2025
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/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 31 Jan 2025
https://github.com/vascorsd/test_app_ocaml
Minimal example trying to use ocaml language
Last synced: 28 Dec 2024
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/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/maolonglong/bogoscheme
A subset of Scheme
menhir ocaml ocamllex repl scheme scheme-interpreter
Last synced: 26 Dec 2024
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/kalongn/cse-216
Programming Abstraction (College Class).
functional-programming generic java ocaml python recursion type-hierarchies
Last synced: 05 Feb 2025
https://github.com/agiraudet/ft_turing
Turing Machine Emulator
ocaml turing-machine universal-turing-machine writeups
Last synced: 21 Nov 2024
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/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/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: 05 Feb 2025
https://github.com/mbarbin/dune-rpc-eio
Communicate with dune using rpc and Eio
Last synced: 11 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