Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/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

https://github.com/r17x/r17x

dx engineer frontend javascript ocaml react reactjs reasonml rescript scripting zsh

Last synced: 13 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/sim642/ocaml-arg-complete

Bash completion support for OCaml Stdlib.Arg

bash-completion ocaml ocaml-library

Last synced: 17 Dec 2024

https://github.com/shnewto/lilac

OCaml library for getting the value of any field in a YAML file as a string.

bisect-ppx cmdliner codecov dune lilac mit ocaml ounit yaml yaml-unix

Last synced: 18 Dec 2024

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.

ocaml shell shell-script wip

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/smimram/methml

An ML language with methods.

methods ml ocaml

Last synced: 18 Dec 2024

https://github.com/saswatpadhi/ocaml-logicalform

logic logical-forms logical-knowledge-representation ocaml ocaml-library

Last synced: 18 Dec 2024

https://github.com/randombit/botan-ocaml

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 02 Dec 2024

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 18 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/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/unikraft/lib-ocaml

OCaml runtime library

library ocaml unikraft unikraft-library

Last synced: 19 Jan 2025

https://github.com/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 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/dlesbre/kotlin-compiler

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

Last synced: 20 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/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/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

ocaml ocaml-library

Last synced: 19 Dec 2024

https://github.com/smimram/latool

Preprocess LaTeX files.

latex ocaml proprocess

Last synced: 23 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/mbarbin/dune-rpc-eio

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

Last synced: 11 Jan 2025

https://github.com/formalsec/ocaml-cvc5

OCaml bindings for the cvc5 SMT solver

cvc5 ocaml

Last synced: 18 Dec 2024

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/gauben/bcotp

Big Cities on Tiny Planets: Definitive Edition

city-builder game ocaml

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

compiler ocaml purescript

Last synced: 11 Jan 2025

https://github.com/elliottcable/bs-slash-create

ReScript / BuckleScript bindings to the slash-create library for Discord commands

bucklescript bucklescript-bindings discord discord-js javascript ocaml ocaml-bindings slash-commands

Last synced: 19 Dec 2024

https://github.com/meta-inf/mlc

[O]Caml compiler

compiler functional-programming ocaml

Last synced: 12 Jan 2025

https://github.com/teenbiscuits/practicas-pp

Prácticas de la asignatura Paradigmas de la Programación en OCaml

fic ocaml pp udc

Last synced: 11 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.

ocaml orm

Last synced: 12 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/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/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

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/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 06 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/gabryon99/imp

IMP is a small imperative programming language.

imperative menhir ocaml ocamllex programming-language semantics

Last synced: 28 Dec 2024

https://github.com/phthhieu/tailwind_ppx

[WIP] TailwindCSS PPX for Bucklescript/ReasonML

bucklescript ocaml reasonml tailwind tailwind-css

Last synced: 23 Jan 2025

https://github.com/richard-degenne/ocaml-textrazor

An OCaml wrapper for the TextRazor API.

nlp ocaml textrazor

Last synced: 31 Dec 2024

https://github.com/jay-es/ocaml-practice

「プログラミングの基礎」や「プログラミング in OCaml」の演習

ocaml

Last synced: 22 Dec 2024

https://github.com/mirca/advent-of-code

my solutions to aoc in ocaml

advent-of-code-2021 ocaml

Last synced: 17 Jan 2025

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/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 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

https://github.com/andrewprofile/cqrs-sample

Sample of CQRS

clang cqrs csharp dart dlang golang hack hacktoberfest java kotlin ocaml php python ruby rust typescript

Last synced: 18 Jan 2025

https://github.com/alanvf/star_parser

WIP parser for the Star programming language

menhir ocaml parser star

Last synced: 16 Jan 2025

https://github.com/kuy/echo.ml

Echo server written in OCaml with LWT.

echo example lwt ocaml socket

Last synced: 09 Jan 2025

https://github.com/kuy/lecho

Local Echo program written in OCaml with Core and Async.

async core echo example ocaml

Last synced: 09 Jan 2025

https://github.com/zshipko/ocaml-redis-module

Redis Modules in OCaml

ocaml redis

Last synced: 22 Jan 2025

https://github.com/ncs-pl/query-tree

Projet de Programmation Fonctionnelle, UFR ST Orléans 2024

ocaml query tree

Last synced: 23 Jan 2025

https://github.com/thaodt/tcp_server

First step to OCaml

ocaml

Last synced: 04 Dec 2024

https://github.com/james-p-d/ocamldump

Dumping ground for OCAML

ocaml

Last synced: 18 Jan 2025

https://github.com/susji/opl

Toy compiler for PL/0, emits x86-64 assembly for Linux

compilers educational ocaml

Last synced: 14 Dec 2024

https://github.com/james-p-d/pegsolitaire

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 18 Jan 2025

https://github.com/kawamurakazushi/monkey-ml

OCaml implementation of an interpreter for the Monkey programming language

interpreter lexer monkey ocaml parser

Last synced: 09 Jan 2025

https://github.com/benhuds/ocaml-provers

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

first-order-logic ocaml propositional-logic theorem-prover

Last synced: 17 Jan 2025

https://github.com/healthypackrat/metro-book

『プログラミングの基礎』のメトロネットワーク最短経路問題

book graph-algorithms ocaml

Last synced: 09 Jan 2025

https://github.com/davideimola/myinterpreter

Interpreter built in OCaml

interpreter ocaml university university-project

Last synced: 22 Jan 2025

https://github.com/baransu/reason-grpc-playground

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 12 Jan 2025

https://github.com/dylf/advent-of-code

🎄My Advent of Code Solutions🎄

advent-of-code advent-of-code-2022 advent-of-code-2023 ocaml rust

Last synced: 26 Dec 2024

https://github.com/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

https://github.com/shakadak/ft_tama

Small tamagochi in OCaml

ocaml tamagotchi

Last synced: 09 Dec 2024

https://github.com/jubnzv/ctfp

Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.

category-theory ocaml

Last synced: 07 Dec 2024

https://github.com/idkjs/simple-fetch-graphql-tutorial

ReasonML and Graphql without Graphql

axios bs-axios bs-fetch graphql ocaml reason reasonml

Last synced: 10 Dec 2024

https://github.com/erwanlem/projet_kawa

Interpréteur pour le langage objet Kawa

interpreter ocaml

Last synced: 12 Jan 2025

https://github.com/jubnzv/ocaml-plugins-demo

A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.

findlib ocaml ocaml-plugin

Last synced: 07 Dec 2024

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: 10 Dec 2024

https://github.com/eliasgit2017/proofbox

Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs

alt-ergo coq docker docker-container ocaml smt-solver

Last synced: 24 Dec 2024

https://github.com/lwcarani/json-parser

JSON parsers, implementations in Python and OCaml

json json-parser menhir ocaml ocamllex python

Last synced: 05 Dec 2024

https://github.com/erwanlem/projet_pfa

Création d'un jeu 2D type platformer utilisant le modèle ECS

ecs game-development ocaml

Last synced: 12 Jan 2025

https://github.com/viet281101/minic-misp_compiler

A small language compiler in Ocaml, translates MiniC syntax into MISP and runs

compiler misp ocaml

Last synced: 21 Dec 2024

https://github.com/fuwn/disml

🐪 A Discord bot framework for OCaml

discord ocaml

Last synced: 10 Dec 2024

https://github.com/vit0rr/ocamllex-findout

Generate JSON tokens using Ocamllex

json lexer ocaml ocamllex

Last synced: 10 Dec 2024

https://github.com/sauzeauyannis/ls-projet

An interpreter for an imperative language and a Hoare logic prover

coq hoare-logic imperative-language interpreter ocaml prover school-project

Last synced: 20 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