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/shadowmitia/ter-compilation

compiler menhir minic ocaml ter

Last synced: 21 Jan 2025

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/blaketarter/reticky-tacky

A game of tic-tac-toe built with reprocessing.

game ocaml reasonml tic-tac-toe

Last synced: 26 Dec 2024

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

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

interpreter ocaml type-inference

Last synced: 07 Feb 2025

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

OCaml runtime library

library ocaml unikraft unikraft-library

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

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 01 Feb 2025

https://github.com/kuy/today-anime

I can't keep in mind a day of the week of my favorite animes' broadcast 😇

ocaml

Last synced: 09 Jan 2025

https://github.com/kuy/perceptron

ocaml perceptron slap

Last synced: 09 Jan 2025

https://github.com/kuy/parseco

Learning parser combinators in OCaml + Core.

core ocaml parser-combinators

Last synced: 09 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/kkazuo/bs-gcloud

Google Cloud Datastore bindings of BuckleScript.

bucklescript-bindings google-cloud ocaml

Last synced: 16 Jan 2025

https://github.com/dlesbre/kotlin-compiler

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

Last synced: 13 Feb 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/maolonglong/bogoscheme

A subset of Scheme

menhir ocaml ocamllex repl scheme scheme-interpreter

Last synced: 26 Dec 2024

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/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: 13 Feb 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/vitorebatista/tests-ocaml

My tests with oCaml

dune ocaml

Last synced: 28 Jan 2025

https://github.com/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

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

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 12 Feb 2025

https://github.com/leonidas-from-xiv/awwcaml

WIP Implementation of glue code to run OCaml on AWS Lambda

aws aws-lambda ocaml ocaml-bindings ocaml-library

Last synced: 22 Jan 2025

https://github.com/reasonocamlindia/dream-web-server-sessions

Dream web server coded live at reason-bangalore.org sessions

ocaml reason

Last synced: 13 Feb 2025

https://github.com/dannywillems/ocaml-bls12-381

Fast BLS12-381 implementation in OCaml

bls-signature bls12-381 blst cryptography fft hash-to-curve ocaml pairing pairing-cryptography poseidon rescue signatures tezos zero-knowledge

Last synced: 12 Oct 2024

https://github.com/kalongn/cse-216

Programming Abstraction (College Class).

functional-programming generic java ocaml python recursion type-hierarchies

Last synced: 05 Feb 2025

https://github.com/delciokelson/chat_ocaml

A chat written in ocaml using the lwt library

async chat lwt ocaml

Last synced: 21 Jan 2025

https://github.com/mransan/rules-of-time

Short program to illustrate the use of polymorphic variant in OCaml

ocaml typesystem

Last synced: 29 Jan 2025

https://github.com/kkazuo/pgez

Eazy wrapper of postgresql

core ocaml postgresql

Last synced: 16 Jan 2025

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/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/zsc/jasmine

A distributed make in JoCaml

distributed-computing jocaml ocaml

Last synced: 13 Jan 2025

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/smimram/latool

Preprocess LaTeX files.

latex ocaml proprocess

Last synced: 23 Jan 2025

https://github.com/shnewto/lilac

OCaml library for getting the value of any field in a YAML file as a string.

bisect-ppx cmdliner codecov dune lilac mit ocaml ounit yaml yaml-unix

Last synced: 10 Feb 2025

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

This repository provides a basic setup for an OCaml project with 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: 03 Jan 2025

https://github.com/lindig/xenctrl

Mock OCaml Xen bindings

ocaml xen

Last synced: 21 Jan 2025

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: 05 Feb 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/mbarbin/dune-rpc-eio

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

Last synced: 11 Jan 2025

https://github.com/sano-jin/dhl-alpha

A minimal compiler and runtime for a language based on graph rewriting

compiler interpreter ocaml programming-language

Last synced: 30 Jan 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/mbarbin/eio-rpc

A collection of opinionated libraries designed to build RPC clients and servers with eio

eio grpc ocaml protocol-buffers rpc

Last synced: 11 Jan 2025

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/tategakibunko/ocaml-mjlib

ocaml mahjong library

game mahjong ocaml

Last synced: 12 Jan 2025

https://github.com/jubnzv/aoc2021

Solutions to Advent of Code 2021

advent-of-code advent-of-code-2021 advent-of-code-ocaml ocaml

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/dpbm/testing-ocaml

testing ocaml language

ocaml ocaml-language ocaml-lernaing ocaml-program testing-language testing-new-programming-language

Last synced: 19 Jan 2025

https://github.com/valoran-m/miniml

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

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

Simple implementation of deterministic finite automata in OCaml

automata-theory deterministic-finite-automaton ocaml theoretical-computer-science

Last synced: 24 Jan 2025

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

Ctypes bindings to libbson for OCaml

bson ctypes-bindings libbson libmongoc mongo ocaml ocaml-bsonc

Last synced: 06 Feb 2025

https://github.com/strykerkkd/maco

virtual machine in ocaml

bytecode-interpreter ocaml virtual-machine vm

Last synced: 29 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/qnighy/advanced-programming-languages-report-ltl

algorithm automata logic ocaml temporal-logic

Last synced: 06 Feb 2025

https://github.com/thecoachingonline/hello-ocaml

Hello World OCaml

ocaml

Last synced: 03 Feb 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/ncs-pl/query-tree

Projet de Programmation Fonctionnelle, UFR ST Orléans 2024

ocaml query tree

Last synced: 23 Jan 2025

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

WIP final project for CS 3110.

bogue gcs ocaml

Last synced: 10 Feb 2025

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/lindig/tcalc

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

ocaml

Last synced: 10 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/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/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/twolodzko/loco

Lisp implemented in OCaml, Oooh!

lisp lisp-interpreter ocaml scheme scheme-interpreter

Last synced: 14 Feb 2025

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

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 Jan 2025

https://github.com/gabyfle/soundml

A little and very high level library to perform basic operations on audio files in the OCaml language

audio-processing ffmpeg ocaml owl

Last synced: 12 Oct 2024

https://github.com/vogler/ppx_distr_guards

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

ocaml ppx

Last synced: 15 Feb 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/vshender/nats.ml

OCaml client for NATS, the cloud native messaging system.

nats ocaml

Last synced: 12 Feb 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/herulume/playground

agda coq elixir elm go haskell ocaml

Last synced: 24 Dec 2024

https://github.com/shaolans/raytracer_ocaml

ocaml raytracer

Last synced: 10 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/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/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/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 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/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/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 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/exenon/polymorphic-variants-presentation

A short presentation about OCaml Polymorphic Variants

ocaml polymorphic-variants presentation reveal-js

Last synced: 26 Dec 2024

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/jonathanjameswatson/regex_parser

OCaml parsers (not compilers!) for (limited) regular expressions

ebnf lexer lr1-parser menhir ocaml ocamllex parser recursive-descent-parser regex

Last synced: 26 Dec 2024

https://github.com/bertrand31/data-structures-reasonml

Collection of data structures implemented in ReasonML (OCaml)

functional-programming ocaml reasonml

Last synced: 26 Dec 2024

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