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/akabe/ocaml-js-boilerplate

A template repository for OCaml and JavaScript

functional-programming javascript ocaml

Last synced: 10 Feb 2025

https://github.com/nao1215/selfish

selfish - the shell dyed in your selfish colors.

ocaml shell shell-script wip

Last synced: 10 Feb 2025

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/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 Jan 2025

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

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 30 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/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: 09 Feb 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 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/maxchrr/float32

IEEE 754 Single-precision encoder/decoder tool.

floating-point ieee754 ocaml university-project

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

PR2B@unipi 2019-2020

ocaml

Last synced: 28 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/richeyryan/reason-projects

A collection of projects written in Reason

bucklescript js nodejs ocaml reason reasonml

Last synced: 03 Feb 2025

https://github.com/smimram/methml

An ML language with methods.

methods ml ocaml

Last synced: 10 Feb 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/sealinesun/jsonx

JSON data description and codecs for OCaml (unreleased)

html ocaml shell standard-ml

Last synced: 31 Dec 2024

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

Thin bindings to SDL for OCaml

c ocaml

Last synced: 31 Dec 2024

https://github.com/monkeyjunglejuice/monkeyjunglejuice.github.io

My personal blog about learning programming and other things I'm interested in :D

beginner beginner-friendly beginners-guide common-lisp emacs learn-to-code learning-notes lisp ocaml tutorials

Last synced: 13 Jan 2025

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 10 Feb 2025

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

Sun/Solaris serialization format library

ocaml serialization-library solaris zfs zfs-filesystem

Last synced: 17 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/frost-phoenix/ocaml-fractals

Some fractals renderings made with ocaml

fractals ocaml visualization

Last synced: 21 Jan 2025

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 Jan 2025

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

ocaml mahjong library

game mahjong ocaml

Last synced: 12 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/qnighy/fplp-interpreter

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

interpreter ocaml type-inference

Last synced: 07 Feb 2025

https://github.com/vitorebatista/tests-ocaml

My tests with oCaml

dune ocaml

Last synced: 28 Jan 2025

https://github.com/hcarty/extbigarray

Extra bigarray functions

numeric ocaml

Last synced: 13 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/tanishiking/tiger

[WIP] Tiger language implementation in OCaml (Work in Progress).

compiler ocaml

Last synced: 26 Jan 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/prawater/monkey_interpreter.ml

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 01 Feb 2025

https://github.com/hcarty/columns

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Jan 2025

https://github.com/solarliner/ml-difflist

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 12 Feb 2025

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

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

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

[O]Caml compiler

compiler functional-programming ocaml

Last synced: 12 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/valoran-m/miniml

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 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: 12 Feb 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/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/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 08 Feb 2025

https://github.com/sagnikc395/sato

A SAT Solver written in OCaml.

ocaml plt sat-solver

Last synced: 23 Jan 2025

https://github.com/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

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

BuckleScript bindings for funkia/list

bucklescript-bindings ocaml reasonml

Last synced: 06 Feb 2025

https://github.com/ceribe/memory-game

Memory game made in OCaml and Bogue

bogue game memory-game ocaml poznan-university-of-technology

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

Solving some problems with Ocaml

ocaml

Last synced: 21 Jan 2025

https://github.com/mikejeuga/fonctionnelle

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 Jan 2025

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/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/the-altitude-attitude/ground-control-station

WIP final project for CS 3110.

bogue gcs ocaml

Last synced: 10 Feb 2025

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

Tiger Compiler 🐅

ocaml tiger tiger-compiler x86-64

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

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

ocaml

Last synced: 10 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/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/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/ushitora-anqou/mahout

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

docker kubernetes mastodon nusmv ocaml

Last synced: 11 Feb 2025

https://github.com/pawannnnn/text_adventure

Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨

ocaml

Last synced: 23 Nov 2024

https://github.com/theteachr/aoc-2021

Solutions for AoC 2021 (OCaml)

aoc aoc2021 ocaml

Last synced: 11 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/keturiosakys/advent-of-code

Watch me write some bad Rust, OCaml code

advent-of-code ocaml rust

Last synced: 28 Jan 2025

https://github.com/eratio08/learn-angstrom

Learning about OCaml's Angstrom lib

angstrom monkey-lang ocaml

Last synced: 21 Jan 2025

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

🎄 Solutions for Advent of Code

2023 2024 advent-of-code ocaml

Last synced: 19 Dec 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/tmcgilchrist/ocaml-bitbucket

OCaml library for bitbucket API

ocaml

Last synced: 21 Jan 2025

https://github.com/armanddidierjean/tipe-interpreteur-pour-le-langage-ocaml

Projet d'implémentation d'un interpréteur dans le cadre du TIPE

ast grammar interpreter language ocaml

Last synced: 07 Jan 2025

https://github.com/narekhovhannisyan/introduction-to-ocaml

Introduction to oCaml -> https://youtu.be/yKlcIUQ7168

for ocaml presentation public sceptics talk video

Last synced: 01 Jan 2025

https://github.com/veeara282/askyquiz

A quiz engine and editor implemented in OCaml. This was my group's midterm project for CS 3110.

cs3110 ocaml quiz-game quiz-maker

Last synced: 02 Jan 2025

https://github.com/aeghost/fmtime

Format time in OCaml, should be used with Fmt module

format ocaml time

Last synced: 21 Jan 2025

https://github.com/manikupireddii/m-lua

o lua m'lua

lua ocaml

Last synced: 09 Feb 2025

https://github.com/iwankaramazow/track

Exploration in lexing

lexer ocaml reason

Last synced: 08 Feb 2025

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/ryloric/bucklescript-fluture

BuckleScript bindings for fluture-js

bucklescript bucklescript-bindings ocaml reasonml

Last synced: 21 Jan 2025

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/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: 21 Jan 2025

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