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.

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/kalongn/cse-216

Programming Abstraction (College Class).

functional-programming generic java ocaml python recursion type-hierarchies

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

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

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

[O]Caml compiler

compiler functional-programming ocaml

Last synced: 12 Jan 2025

https://github.com/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 15 Dec 2024

https://github.com/yoangau/todocaml

🐫 Todocaml - CLI Todo written in Ocaml

ocaml todo todolist

Last synced: 14 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/gavinleroy/gscheme

An ever expanding subset of the R6RS specification

ocaml scheme

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

IMP is a small imperative programming language.

imperative menhir ocaml ocamllex programming-language semantics

Last synced: 28 Dec 2024

https://github.com/vit0rr/chicken

Chicken is a toy programming language in OCaml because I want to learn OCaml

chicken compiler lexer ocaml parser parsing programming-language

Last synced: 02 Feb 2025

https://github.com/marekjm/real-world-ocaml-code

Code written while reading "Real World OCaml" (with examples updated to newer Core)

ocaml real-world-ocaml

Last synced: 02 Feb 2025

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

OCaml libraries and other code

ocaml ocaml-library

Last synced: 25 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/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 06 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/haerfest/bubble-universe

Bubble Universe in Lua and OCaml

bubble-universe love-framework lua ocaml stardot

Last synced: 21 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/ekoeppen/nemesis

A Forth compiler written in OCaml

cortex-m0 forth msp430 ocaml

Last synced: 15 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/vitorebatista/tests-ocaml

My tests with oCaml

dune ocaml

Last synced: 28 Jan 2025

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/k-nrd/babylon.ml

An experiment with OCaml, Melange and Babylon.js. Maybe I'll publish the Melange bindings separately at some point.

3d babylonjs melange ocaml webgl

Last synced: 30 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/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 Jan 2025

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

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

interpreter ocaml type-inference

Last synced: 13 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/FraMecca/ffbench

test different ffmpeg trascoding settings

ffmpeg ocaml org-mode python transcode transcoding

Last synced: 25 Nov 2024

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/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/jchavarri/jsoo-is-sorted

Js_of_ocaml bindings to JavaScript library is-sorted

js-of-ocaml ocaml reasonml

Last synced: 29 Jan 2025

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 Jan 2025

https://github.com/tategakibunko/ocaml-mjlib

ocaml mahjong library

game mahjong ocaml

Last synced: 12 Jan 2025

https://github.com/jchavarri/bs-playground-bundler

Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts

bucklescript ocaml reasonml

Last synced: 18 Dec 2024

https://github.com/unikraft/lib-ocaml

OCaml runtime library

library ocaml unikraft unikraft-library

Last synced: 19 Jan 2025

https://github.com/bfontaine/pfav

School project

ocaml paris-diderot

Last synced: 11 Dec 2024

https://github.com/monkeyjunglejuice/emacs.ontop

Mission: Providing a great user experience in Emacs for various programming languages.

common-lisp elixir emacs emacs-setup emacs-starter-kit haskell julia ocaml racket

Last synced: 13 Jan 2025

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

Backend to Translator using Ocaml + Dream

dream lwt ocaml ocaml-dream ocaml-lwt

Last synced: 27 Jan 2025

https://github.com/navierula/learningneverends

New Year's Resolution 2017+2018: learn new programming languages :)

javascript ocaml python r

Last synced: 21 Jan 2025

https://github.com/kiranandcode/http_sig_ocaml

HTTP Signatures for OCaml

http http-signature ocaml ocaml-library

Last synced: 25 Dec 2024

https://github.com/federicobruzzone/99-ocaml-problems

Implementations of the 99 problems in OCaml.

99problems functional-programming ocaml problem-solving

Last synced: 09 Nov 2024

https://github.com/federicobruzzone/setup-ocaml-project-without-dune

This repository provides a basic setup for an OCaml project without 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: 09 Nov 2024

https://github.com/cedlemo/ocaml-mongoc

Ctypes based OCaml bindings for the libmongoc library

bson ctypes libmongoc mongo ocaml ocaml-bsonc ocaml-mongoc

Last synced: 12 Dec 2024

https://github.com/alexchang8/tetris-caml

Tetris implemented in ocaml, then ported to js

ocaml

Last synced: 24 Dec 2024

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

A SAT Solver written in OCaml.

ocaml plt sat-solver

Last synced: 23 Jan 2025

https://github.com/j14159/alpaca-record-sketch1

Experiments to JIT simple record operations with LLVM in OCaml.

jit llvm ocaml

Last synced: 17 Dec 2024

https://github.com/mikejeuga/fonctionnelle

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 Jan 2025

https://github.com/fourmew/aoc2024

Advent Of Code 2024 solutions in OCaml

advent-of-code advent-of-code-2024 ocaml puzzles

Last synced: 13 Dec 2024

https://github.com/ryloric/bs-list

BuckleScript bindings for funkia/list

bucklescript-bindings ocaml reasonml

Last synced: 13 Dec 2024

https://github.com/thehxdev/ocaml-practice

Solving some problems with Ocaml

ocaml

Last synced: 21 Jan 2025

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

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

interpreter ocaml

Last synced: 21 Jan 2025

https://github.com/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

ocaml

Last synced: 21 Jan 2025

https://github.com/dhil/google-tech-talk-2018

Materials for my Google Tech Talk 2018

concurrency effect-handlers effects ocaml

Last synced: 17 Dec 2024

https://github.com/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 23 Jan 2025

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

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

https://github.com/yayuniversal/projet-ipf-s2

Functional programming project of the 2nd semester - ENSIIE

decision-trees functional-programming ocaml

Last synced: 08 Jan 2025

https://github.com/jxiao/aoc

Advent of Code (ft. 🐫 & 🐍 )

ocaml python

Last synced: 18 Dec 2024

https://github.com/the-altitude-attitude/ground-control-station

WIP final project for CS 3110.

bogue gcs ocaml

Last synced: 18 Dec 2024

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

My solutions to the exercises from the OCaml track on Exercism.

exercism exercism-solutions exercism-track ocaml

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

Minimal desktop calculator that can parse hour:min:sec values

ocaml

Last synced: 10 Jan 2025

https://github.com/risto-stevcev/bs-callbag-batteries

Callbags with batteries included

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/stepankuzmin/exercism

My Exercism solutions

clojure elm erlang exercism ocaml rust

Last synced: 31 Jan 2025

https://github.com/risto-stevcev/bs-callbag-to-promise

Convert an async pullable source into a promise

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/gabyfle/brainfuck

A Brainfuck compiler to Assembly x86, fully written in OCaml

brainfuck compiler gabyfle ocaml parser tokenizer

Last synced: 24 Dec 2024

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 23 Jan 2025

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

A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.

docker kubernetes mastodon nusmv ocaml

Last synced: 18 Dec 2024

https://github.com/risto-stevcev/bs-callbag-last

Creates a callbag containing only the last signal from the given stream

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/arata-nvm/tedate

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 Jan 2025

https://github.com/lue-bird/elm-syntax-to-ocaml

transpile elm to ocaml

elm elm-syntax ocaml transpiler

Last synced: 08 Jan 2025

https://github.com/algojobs/ocaml-jobs

The latest OCaml jobs, updated weekly.

jobs jobsearch ocaml software-engineering

Last synced: 21 Jan 2025

https://github.com/demiazz/advent-of-ocaml

Advent of Code on OCaml

advent-of-code ocaml

Last synced: 21 Jan 2025

https://github.com/lemoineat/grunt-ocamlbuild

Use ocamlbuild to compile some OCaml code with grunt

grunt javascript ocaml ocamlbuild

Last synced: 16 Dec 2024

https://github.com/mk-fg/ghg

Simple command-line NaCl/libsodium file encryption tool

cli cryptography nacl ocaml security tool

Last synced: 07 Jan 2025

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

Ocaml project providing AI tooling using the Openai api.

developer-tools ocaml openai

Last synced: 21 Jan 2025

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

Website for Denpa: An Otaku Podcast.

anime bucklescript javascript ocaml reason-react reasonml website

Last synced: 19 Dec 2024

OCaml Awesome Lists
awesome-ocaml 381 awesome-fp-jobs 30 awesome-ocaml 40
OCaml Categories
Libraries 40 Compilers and Compiler Tools 23 Purely Functional 17 General 17 Web Development 15 Developer Tools 15 Community 15 Impure / Multi-Paradigm 13 Databases 11 Algorithms and Data Structures 10 Metaprogramming 10 Books 10 Exercises and Short Examples 9 IDEs and Editors 8 Language-related 8 Concurrency 8 Application Libraries 7 Online Courses 7 Testing 6 Formal Software Verification 6