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/uncomputable/expressive-wallet

What is a minimal wallet of coins that can express all amounts below a target?

coq formal-verification maths maths-problem ocaml theorem-proving

Last synced: 24 Dec 2024

https://github.com/jubnzv/ctfp

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

category-theory ocaml

Last synced: 02 Feb 2025

https://github.com/tristan971/aoc-2019

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

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/codiepp/ml-cpp-chrono

OCaml embedded cross-platform C++ <chrono>

chrono cpp hacktoberfest ocaml

Last synced: 21 Jan 2025

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

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

Last synced: 21 Jan 2025

https://github.com/igorjakus/nnomad

Numerical optimization, mathematics and automatic differentiation library in Ocaml!

automatic-differentiation gradient-descent numerical-methods numerical-optimization ocaml

Last synced: 03 Jan 2025

https://github.com/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

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

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

ocaml

Last synced: 21 Jan 2025

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

Project Euler Solutions.

effect ocaml project-euler

Last synced: 21 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/codiepp/ml-cpp-filesystem

OCaml embedded cross-platform C++ <filesystem>

cpp filesystem hacktoberfest ocaml

Last synced: 21 Jan 2025

https://github.com/mbarbin/opam-repository

An opam repository for publishing ocaml packages

ocaml opam packages releases

Last synced: 11 Jan 2025

https://github.com/juniforge/nmap_xml_parser

A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.

nmap ocaml xml xml-parser

Last synced: 30 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/yawaramin/gen_json_string

Utility to generate fake JSON data from a JSON Schema

json json-schema ocaml

Last synced: 11 Jan 2025

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

Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.

dune interpreter lox menhir ocaml

Last synced: 26 Jan 2025

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

Small snippets of OCaml.

ocaml

Last synced: 19 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/rodrigooler/react-native-reason

Wonderful boilerplate using Reason with react-native

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

Last synced: 21 Jan 2025

https://github.com/j-christl/ocaml-utils

Some basic OCaml utility functions I will keep updating while learning functional programming

functional functional-programming ocaml ocaml-utils utility-function

Last synced: 24 Jan 2025

https://github.com/j-christl/ocaml-havelhakimi

Functional implementation of the Havel-Hakimi algorithm in OCaml

discrete-mathematics functional-programming graph-theory havel-hakimi-algorithm ocaml

Last synced: 24 Jan 2025

https://github.com/atomicptr/camelcase

A simple OCaml test framework

ocaml ocaml-library test testing unit-testing

Last synced: 24 Jan 2025

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

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

javascript ocaml python r

Last synced: 21 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/stepankuzmin/exercism

My Exercism solutions

clojure elm erlang exercism ocaml rust

Last synced: 31 Jan 2025

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: 13 Jan 2025

https://github.com/brocksam/99-camls

My solutions to the 99 exercises in OCaml

exercises ocaml

Last synced: 26 Jan 2025

https://github.com/puripuri2100/xml2saty

This software converts xml file to SATySFi's document file.

ocaml opam satysfi satysfi-document xml xml2saty

Last synced: 29 Dec 2024

https://github.com/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

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

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 Jan 2025

https://github.com/j14159/ppx_test_match

PPX rewriter to test pattern matches.

ocaml ppx-rewriter testing

Last synced: 17 Dec 2024

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

JSON parsers, implementations in Python and OCaml

json json-parser menhir ocaml ocamllex python

Last synced: 01 Feb 2025

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

Dumping ground for OCAML

ocaml

Last synced: 18 Jan 2025

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

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 18 Jan 2025

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

Solving some problems with Ocaml

ocaml

Last synced: 21 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/strykerkkd/plai-in-ocaml

Programming Languages: Application and Interpretation with Ocaml

core jbuilder ocaml sexp

Last synced: 29 Jan 2025

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

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 12 Jan 2025

https://github.com/neal-c/hello-ocaml

A playground for curiosity, fun and very deep personal notes

ocaml

Last synced: 02 Feb 2025

https://github.com/mustafaaamir/lamlt

A typed lambda-calculus evaluator written in OCaml

lambda-calculus ocaml

Last synced: 29 Jan 2025

https://github.com/tweag/okapi

Gazelle Extension for OBazl

bazel gazelle obazl ocaml

Last synced: 29 Jan 2025

https://github.com/maelvls/maelvls

My GitHub README.md available at https://github.com/maelvls

engineer go kubernetes ocaml readme-profile

Last synced: 24 Jan 2025

https://github.com/douglarek/cs3110

Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】

cs3110 ocaml ocaml-exercises

Last synced: 22 Dec 2024

https://github.com/mtoohey31/starpath

A position-aware parser combinator library for OCaml with readable errors.

ocaml ocaml-library parser parser-combinators

Last synced: 09 Jan 2025

https://github.com/applejag/adventofcode-2024-ocaml

My (failed) attempt at Advent of Code 2024 using OCaml https://adventofcode.com/2024

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

Last synced: 29 Jan 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/yisus82/fic-pf

Programación Funcional - Facultad de Informática de A Coruña

caml functional functional-programming haskell haskell-exercises haskell-language haskell-learning ocaml ocaml-exercises

Last synced: 29 Jan 2025

https://github.com/yisus82/fic-pd

Programación Declarativa - Facultad de Informática de A Coruña

caml declarative declarative-language declarative-programming ocaml ocaml-exercises

Last synced: 29 Jan 2025

https://github.com/peter-roh/ocaml

taking 'programming languages' course

functional-programming interpreter ocaml programming-languages

Last synced: 21 Jan 2025

https://github.com/iwankaramazow/track

Exploration in lexing

lexer ocaml reason

Last synced: 20 Jan 2025

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

cmt information extractor

cmt-extractor ocaml

Last synced: 19 Dec 2024

https://github.com/samuela/karger

Karger's min-cut algorithm in OCaml

functional-programming karger ocaml

Last synced: 27 Dec 2024

https://framagit.org/zoggy/ocaml-stk

Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/

gui ocaml sdl2

Last synced: 29 Jan 2025

https://github.com/serpent7776/ocaml-intro-slides

Introduction to OCaml programming language

introduction ocaml slides

Last synced: 18 Jan 2025

https://github.com/adelloste/pf

OCaml - Functional programming

ocaml

Last synced: 29 Jan 2025

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: 27 Jan 2025

https://github.com/owainlewis/dune-example-project

An example project using OCaml dune

ocaml

Last synced: 01 Feb 2025

https://github.com/tjade273/compling

Computational Linguistics Final Project Spring 2017

linguistics ocaml

Last synced: 31 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: 22 Jan 2025

https://github.com/sano-jin/lambda-gt-alpha

A reference interpreter of λGT

interpreter ocaml programming-language

Last synced: 30 Jan 2025

https://github.com/dofera/mtasc

Motion-Twin ActionScript 2 Compiler

actionscript flash ocaml

Last synced: 22 Jan 2025

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

A programming language for double-entry accounting

accounting ocaml

Last synced: 03 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/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/diohabara/dump_ocamlformat

dump preset ocamlformat configuration

config ocaml ocamlformat opam

Last synced: 30 Jan 2025

https://github.com/bahmanm/stockman-ml

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Jan 2025

https://github.com/erwanlem/projet_kawa

Interpréteur pour le langage objet Kawa

interpreter ocaml

Last synced: 12 Jan 2025

https://github.com/kaawan-d20/dpf-2024-binarytree

🐫 Code OCaml du projet de Programmation Fonctionnelle de L2S4

binary-tree functional-programming ocaml university-project

Last synced: 02 Feb 2025

https://github.com/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Jan 2025

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/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/artainmo/general-programming

Notes from studying and small projects surrounding general-programming.

assembly bits c clean-code cpp ide ocaml operating-systems os python rust self-learning shell study team vim

Last synced: 22 Jan 2025

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

Redis Modules in OCaml

ocaml redis

Last synced: 22 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/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/eratio08/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

https://github.com/rootmos/wwwo

My continuation-passing style static website generator written in OCaml

ocaml

Last synced: 26 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: 02 Feb 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