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/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: 04 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/pawannnnn/text_adventure

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

ocaml

Last synced: 23 Nov 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://github.com/vshender/nats.ml

OCaml client for NATS, the cloud native messaging system.

nats ocaml

Last synced: 19 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/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/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/douglarek/cs3110

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

cs3110 ocaml ocaml-exercises

Last synced: 22 Dec 2024

https://github.com/lmarzocchetti/wangtiles-ml

Wang Tiles generator in Ocaml

functional functional-programming ml ocaml wang-tiles

Last synced: 07 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/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/mrkkrp/string_metrics

Collection of string metric algorithms in OCaml

hamming-distance jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance ocaml string-metrics

Last synced: 19 Jan 2025

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/justynhunter/advent-of-code-2015

Advent of Code 2015 done in Ocaml

advent-of-code-2015 advent-of-code-2015-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/thehxdev/ocaml-practice

Solving some problems with Ocaml

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

A simple OCaml test framework

ocaml ocaml-library test testing unit-testing

Last synced: 24 Jan 2025

https://github.com/pawannnnn/text_analyzer

ocaml

Last synced: 23 Nov 2024

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/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 2025

https://github.com/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 08 Feb 2025

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

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Jan 2025

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/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 08 Feb 2025

https://github.com/yawaramin/wsh-bs-test

Windows Script Host / BuckleScript test

bucklescript ocaml windows-scripts

Last synced: 11 Jan 2025

https://github.com/bfontaine/pfav

School project

ocaml paris-diderot

Last synced: 05 Feb 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/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/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/calculationcollective/mlcalculator

calculator ocaml

Last synced: 08 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/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/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/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/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/peter-roh/ocaml

taking 'programming languages' course

functional-programming interpreter ocaml programming-languages

Last synced: 21 Jan 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 08 Feb 2025

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

Generate JSON tokens using Ocamllex

json lexer ocaml ocamllex

Last synced: 05 Feb 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/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/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

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

Small snippets of OCaml.

ocaml

Last synced: 19 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/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/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/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 11 Jan 2025

https://github.com/fizzyelt/ocaml_aoc_2024

advent-of-code-2024 ocaml

Last synced: 05 Feb 2025

https://github.com/ahnineamine/log-analysis-api

OCaml-based REST API designed to process, analyze, and transform log data

dune functional-programming ocaml

Last synced: 04 Feb 2025

https://github.com/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 2025

https://github.com/tjade273/compling

Computational Linguistics Final Project Spring 2017

linguistics ocaml

Last synced: 31 Dec 2024

https://github.com/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 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/sano-jin/lambda-gt-alpha

A reference interpreter of λGT

interpreter ocaml programming-language

Last synced: 30 Jan 2025

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

Unofficial mirror of Camlbz2 for dune

bz2 bzip2 dune ocaml

Last synced: 25 Dec 2024

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

dump preset ocamlformat configuration

config ocaml ocamlformat opam

Last synced: 30 Jan 2025

https://github.com/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 Jan 2025

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

Redis Modules in OCaml

ocaml redis

Last synced: 22 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/cgyurgyik/caml-pox

Epidemic simulation game.

epidemic epidemic-game epidemic-theory functional functional-programming game ocaml

Last synced: 16 Jan 2025

https://github.com/pawvan/text_adventure

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

ocaml

Last synced: 26 Jan 2025

https://github.com/siarie/aoc2024

Advent Of Code 2024

advent-of-code-2024 adventofcode adventofcode2024 ocaml

Last synced: 05 Feb 2025

https://github.com/slamko/ppx_catch

Ocaml PPX for no-exception error handling

error-handling functional-programming meta-programming no-exception ocaml ppx ppx-extension ppx-rewriter ppxlib

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/james-p-d/ocamldump

Dumping ground for OCAML

ocaml

Last synced: 18 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/eratio08/advent-of-code

yearly Advent of Coden solution attempts

advent-of-code advent-of-code-2015 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 advent-of-code-2024 elixir go kotlin ocaml

Last synced: 21 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/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 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/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/lambdabaa/ocamlconf

Autoconf for OCaml codebases

makefile ocaml

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

OCaml embedded cross-platform C++ <filesystem>

cpp filesystem hacktoberfest ocaml

Last synced: 21 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/ftovagliari/ocamlfpdf

OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.

ocaml pdf-generation

Last synced: 06 Feb 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/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/rastreus/ocaml-book-club

Working through OCaml Books... for Fun!

bookclub education learning ocaml

Last synced: 28 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/cedlemo/ocaml-mongoc

Ctypes based OCaml bindings for the libmongoc library

bson ctypes libmongoc mongo ocaml ocaml-bsonc ocaml-mongoc

Last synced: 06 Feb 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/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

https://github.com/bcc32/99

https://wiki.haskell.org/99_Haskell_exercises

exercises ocaml

Last synced: 11 Jan 2025

https://github.com/master-of-none/ocaml

Some OCaml Work

ocaml

Last synced: 02 Feb 2025

https://github.com/gaku-sei/bucklescript-tea-showcase

Playing with OCaml and Bucklescript TEA

bucklescript elm-architecture ocaml

Last synced: 22 Dec 2024

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

Project Euler Solutions.

effect ocaml project-euler

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