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-11 00:16:58 UTC
JSON Representation

https://github.com/maolonglong/bogoscheme

A subset of Scheme

menhir ocaml ocamllex repl scheme scheme-interpreter

Last synced: 26 Dec 2024

https://github.com/ekoeppen/nemesis

A Forth compiler written in OCaml

cortex-m0 forth msp430 ocaml

Last synced: 15 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: 18 Nov 2024

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 18 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/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: 07 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/rootmos/ppx_ski

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Last synced: 28 Nov 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: 12 Oct 2024

https://github.com/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 Nov 2024

https://github.com/kkazuo/bs-gcloud

Google Cloud Datastore bindings of BuckleScript.

bucklescript-bindings google-cloud ocaml

Last synced: 15 Nov 2024

https://github.com/qnighy/fplp-interpreter

関数・論理型プログラミング実験

interpreter ocaml type-inference

Last synced: 13 Dec 2024

https://github.com/w-henderson/humphreyjr

🐪 The Performance-Focused, Dependency-Free Web Server, now in OCaml. (WIP)

http http-server ocaml web-framework web-server

Last synced: 14 Nov 2024

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

My solutions to the Advent of Code problems.

advent-of-code competitive-programming ocaml

Last synced: 13 Dec 2024

https://github.com/vendethiel/translator-backend.ocaml

Backend to Translator using Ocaml + Dream

dream lwt ocaml ocaml-dream ocaml-lwt

Last synced: 28 Nov 2024

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

WIP parser for the Star programming language

menhir ocaml parser star

Last synced: 15 Nov 2024

https://github.com/mikaello/ocaml-libxml2

ocaml-libxml2 is a library for calling libxml2 functions from OCaml

bindings libxml libxml2 ocaml

Last synced: 13 Dec 2024

https://github.com/rodrigooler/react-native-reason

Wonderful boilerplate using Reason with react-native

javascript ocaml react react-native react-native-reason reason yarn

Last synced: 21 Nov 2024

https://github.com/shroominic/ocaml-sublanguage-interpreter

This project is an interpreter written in OCaml. It interpretes a language similar to OCaml but simpler.

interpreter ocaml

Last synced: 13 Dec 2024

https://github.com/bryik/experiments-in-ocaml

Small snippets of OCaml.

ocaml

Last synced: 19 Nov 2024

https://github.com/vshender/nats.ml

OCaml client for NATS, the cloud native messaging system.

nats ocaml

Last synced: 19 Dec 2024

https://github.com/qbarrand/ensiie-iprf-quadtree

An academic project about collision detection to learn the quadtree data structure and functional programming

ensiie functional functional-programming iprf ocaml quadtree

Last synced: 28 Sep 2024

https://github.com/dofera/mtasc

Motion-Twin ActionScript 2 Compiler

actionscript as2 flash ocaml

Last synced: 28 Sep 2024

https://github.com/filipeom/wasm-se-bench

Benchmarking Symbolic Execution tools for Wasm

ocaml python symbolic-execution wasm

Last synced: 12 Oct 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: 12 Oct 2024

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: 12 Oct 2024

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

Projet de Programmation Fonctionnelle, UFR ST Orléans 2024

ocaml query tree

Last synced: 29 Sep 2024

https://github.com/sagnikc395/sato

A SAT Solver written in OCaml.

ocaml plt sat-solver

Last synced: 29 Sep 2024

https://github.com/aadhil2k4/ocaml-ray-tracer

OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"

ocaml raytracing

Last synced: 21 Nov 2024

https://github.com/dakotamurphyucf/ocaml-gpt

Ocaml project providing AI tooling using the Openai api.

developer-tools ocaml openai

Last synced: 12 Oct 2024

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: 12 Oct 2024

https://github.com/bohun9/tiger-ocaml

Tiger Compiler 🐅

ocaml tiger tiger-compiler x86-64

Last synced: 12 Oct 2024

https://github.com/faber-1/parsite

A micro library for simple parsing combinators.

dune ocaml parsing-combinators parsing-library string

Last synced: 12 Oct 2024

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 29 Sep 2024

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 12 Oct 2024

https://github.com/mtoohey31/ppx_cmd

Declarative command line parsing for OCaml with `@@deriving`.

command-line ocaml ocaml-library parser ppx-deriver

Last synced: 12 Oct 2024

https://github.com/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 29 Sep 2024

https://github.com/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 29 Sep 2024

https://github.com/elzibus/ocaml-code-snippets

Short OCaml code snippets

ocaml

Last synced: 12 Oct 2024

https://github.com/code-help-tutor/ocaml-parser

OCaml 代写代做编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]

ocaml

Last synced: 12 Oct 2024

https://github.com/maxm33/minicaml-interpreter

An interpreter written in Java that understands a subset of OCaml instructions.

interpreter ocaml

Last synced: 12 Oct 2024

https://github.com/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 12 Oct 2024

https://github.com/jt2m0l3y/mypl

Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.

ast code-generation compiler-design cpp grammars jit lambda-calculus lexical-analysis ocaml parsing type-checking vm

Last synced: 27 Dec 2024

https://github.com/b72u68/arithmetic-expressions

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 19 Nov 2024

https://github.com/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 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/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: 27 Sep 2024

https://github.com/olafhering/ocaml-camlbz2

Unofficial mirror of Camlbz2 for dune

bz2 bzip2 dune ocaml

Last synced: 25 Dec 2024

https://github.com/claby2/aoc

🎄 Solutions for Advent of Code

2023 2024 advent-of-code ocaml

Last synced: 19 Dec 2024

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

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 20 Dec 2024

https://github.com/mmottl/ocaml-playground

This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.

examples ocaml

Last synced: 05 Jan 2025

https://github.com/samuela/karger

Karger's min-cut algorithm in OCaml

functional-programming karger ocaml

Last synced: 27 Dec 2024

https://github.com/giraud/rincewind

cmt information extractor

cmt-extractor ocaml

Last synced: 19 Dec 2024

https://github.com/vogler/ppx_distr_guards

OCaml ppx extension to distribute guards over or-patterns (Warning 57)

ocaml ppx

Last synced: 23 Dec 2024

https://github.com/anupvarghese/reason-react

javascript ocaml reason reasonml

Last synced: 25 Dec 2024

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: 19 Nov 2024

https://github.com/amahanna/sandbox

languages practiced go here

cpp golang java lisp ocaml prolog python vhdl

Last synced: 28 Dec 2024

https://github.com/jeronimobarea/toml-merge

A small script written in Ocaml to merge all the toml files from a given directory

ocaml toml

Last synced: 29 Nov 2024

https://github.com/ushitora-anqou/qash2

A programming language for double-entry accounting

accounting ocaml

Last synced: 03 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/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Nov 2024

https://github.com/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 06 Jan 2025

https://github.com/nicklatch/ocaml_learn_exercises

My solutions to the ocaml.org exercises

functional-programming ocaml practice

Last synced: 12 Oct 2024

https://github.com/aeghost/fmtime

Format time in OCaml, should be used with Fmt module

format ocaml time

Last synced: 12 Oct 2024

https://github.com/sagnikc395/project-euler

Some Project Euler solutions using functional programming style.

effect ocaml project-euler

Last synced: 12 Oct 2024

https://github.com/sagnikc395/functional-programming

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

Last synced: 12 Oct 2024

https://github.com/bitmaybewise/ocaml-playground

mirrored from https://gitlab.com/bitmaybewise/ocaml-playground

ocaml

Last synced: 12 Oct 2024

https://github.com/alesiong/effects-ocaml

Algebraic effects examples in OCaml

algebraic-effects effects ocaml

Last synced: 12 Oct 2024

https://github.com/marindereggi/ocaml-linda

Tuple Space-Based Parallel Programming in OCaml

linda ocaml ocaml-library ocaml-multicore parallel-programming tuplespace

Last synced: 12 Oct 2024

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: 12 Oct 2024

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).

dune menhir ocaml ocamllex

Last synced: 12 Oct 2024