https://github.com/akabe/docker-iocaml

Dockerfile for IOCaml on Python Jupyter

data-science docker functional-programming iocaml jupyter-notebook machine-learning ocaml

Last synced: 18 Dec 2024

https://github.com/akabe/ocaml-mecab

MeCab binding for OCaml

funcional-programming japanese-language machine-learning natural-language-processing ocaml part-of-speech-tagger

Last synced: 18 Dec 2024

https://github.com/acssiohm/oregex

Simple but pretty complete OCaml regex engine

ocaml regex regex-engine

Last synced: 18 Dec 2024

https://github.com/sim642/ppx_easy_deriving

Easily define PPX derivers without boilerplate and runtime overhead

ocaml ppx ppx-deriver ppx-extension ppxlib

Last synced: 17 Dec 2024

https://github.com/bbatsov/praxis

Praxis makes perfect!

99-problems advent-of-code clojure ocaml

Last synced: 18 Dec 2024

https://github.com/kkazuo/azblob

A trivial Azure Blob Storage interface for OCaml

azure ocaml storage

Last synced: 16 Jan 2025

https://github.com/ansiwen/unitang

MirageOS (Ocaml Unikernel) implementation of a tang server

clevis latchset mirageos ocaml tang unikernel

Last synced: 29 Dec 2024

https://github.com/cfcs/ocaml-poly1305

MirageOS-friendly bindings to Poly1305 C-stubs from WireGuard

cryptography mirageos ocaml poly1305

Last synced: 17 Jan 2025

https://github.com/arthurmelton/newseekr

An alternative frontend for your favorite news outlets

frontend news ocaml privacy privacy-frontend self-hosted

Last synced: 15 Dec 2024

https://github.com/sanette/tsdl-image

OCaml SDL2_image bindings to go with Tsdl

ocaml ocaml-bindings sdl2 sdl2-image

Last synced: 25 Jan 2025

https://github.com/1boch1/murphy

Scanner, Parser and Interpreter of a simple functional programming language

functional-language interpreted-programming-language ocaml programming-language

Last synced: 01 Feb 2025

https://github.com/ncvescera/colored_camel

Progetto per Artificial Intelligent Systems, Colorazione di un Grafo attraverso algoritmo di ricerca in Ampiezza

bfs-algorithm coloring-graph graph ocaml

Last synced: 04 Feb 2025

https://github.com/puripuri2100/yojson-rs

yojson parser for Rust

cargo crates json json-parser ocaml rust yojson

Last synced: 13 Oct 2024

https://github.com/jonghough/ocaml2j

OCaml bindings for calling and running J scripts

dll jlang language-bindings ocaml

Last synced: 10 Jan 2025

https://github.com/theovidal/study-projects

👨‍🎓 All work and projects I made for school

arduino ocaml physics school-project studies

Last synced: 05 Dec 2024

https://github.com/smimram/ocaml-dblp

OCaml library to use the DBLP bibliographic database API.

bibliography bibtex dblp ocaml

Last synced: 12 Oct 2024

https://github.com/pveber/dbf

Library to read (some) variant of dBase format

dbase file-format ocaml

Last synced: 02 Jan 2025

https://github.com/harmim/vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp facebook facebook-infer java master-thesis ocaml program-analysis static-analysis vut vut-fit

Last synced: 06 Feb 2025

https://github.com/puripuri2100/satysfifmt

Tool to format SATySFi code.

codeformatter lexer lexer-parser ocaml parser satysfi

Last synced: 29 Dec 2024

https://github.com/erueri/oangou

A content encryptor

cli diffie-hellman encryption-decryption ocaml

Last synced: 12 Oct 2024

https://github.com/tmcgilchrist/ocaml-jack

QuickCheck with shrinking for free

ocaml property-based-testing property-testing quickcheck test testing

Last synced: 21 Jan 2025

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/bcc32/tap

Test Anything Protocol for OCaml

ocaml perl prove tap test-anything-protocol testing

Last synced: 11 Jan 2025

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/radionoisee/bd

Bangumi scraper for bilibili.

bangumi bilibili downloader ocaml

Last synced: 09 Jan 2025

https://github.com/davideluque/ocaml-calc

OCaml implementation of a lexical analyzer, a syntactic analyzer, and a simple interpreter to simulate a table calculator.

ci3641 ocaml universidad-simon-bolivar usbve

Last synced: 08 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/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/kkazuo/pgez

Eazy wrapper of postgresql

core ocaml postgresql

Last synced: 16 Jan 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/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/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 15 Dec 2024

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/sim642/ppx_deriving_hash

[@@deriving hash]

hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib

Last synced: 17 Dec 2024

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

ocaml mahjong library

game mahjong ocaml

Last synced: 12 Jan 2025

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 Jan 2025

https://github.com/lebrancconvas/hackerrank-functional-programming

Programming in Functional Programming by using Hackerrank Problem.

clojure elixir erlang fsharp functional-programming hackerrank haskell lisp ocaml racket scala

Last synced: 08 Jan 2025

https://github.com/mbarbin/auto-format

Building auto format commands for custom languages

auto-formatter dune dune-fmt fmt ocaml

Last synced: 11 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/paurkedal/ppx_compose

Composition Inlining for OCaml

combinator function-composition ocaml optimization ppx-rewriter

Last synced: 20 Jan 2025

https://github.com/bobzhang/bucklescript-have-tea

bucklescript javascript ocaml

Last synced: 21 Jan 2025

https://github.com/shadowmitia/ter-compilation

compiler menhir minic ocaml ter

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

A distributed make in JoCaml

distributed-computing jocaml ocaml

Last synced: 13 Jan 2025

https://github.com/lindig/xenctrl

Mock OCaml Xen bindings

ocaml xen

Last synced: 21 Jan 2025

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

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

https://github.com/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

https://github.com/xnyo/minicaml

PR2B@unipi 2019-2020

ocaml

Last synced: 28 Dec 2024

https://github.com/kiranandcode/ocaml-pug

Pug(lite) parser & compiler in OCaml

html ocaml pug

Last synced: 25 Dec 2024

https://github.com/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

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

My tests with oCaml

dune ocaml

Last synced: 28 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/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/yoangau/todocaml

🐫 Todocaml - CLI Todo written in Ocaml

ocaml todo todolist

Last synced: 14 Dec 2024

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 Jan 2025

https://github.com/lost22git/hello

bun crystal cyber gleam go hare lobster lua nim ocaml odin roc rust zig

Last synced: 14 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/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/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/strykerkkd/maco

virtual machine in ocaml

bytecode-interpreter ocaml virtual-machine vm

Last synced: 29 Jan 2025

https://github.com/gustavodiasag/simpler

Interpreter for a functional, expression-based programming language

functional-programming interpreter lambda-calculus ocaml programming-language

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

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 01 Feb 2025

https://github.com/ekoeppen/nemesis

A Forth compiler written in OCaml

cortex-m0 forth msp430 ocaml

Last synced: 15 Dec 2024

https://github.com/tanishiking/tiger

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

compiler ocaml

Last synced: 26 Jan 2025

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

Programming Abstraction (College Class).

functional-programming generic java ocaml python recursion type-hierarchies

Last synced: 05 Feb 2025

https://github.com/emersion/mlgrope

Cut the Rope - MLG version

cut-the-rope game mlg ocaml

Last synced: 29 Jan 2025

https://github.com/agiraudet/ft_turing

Turing Machine Emulator

ocaml turing-machine universal-turing-machine writeups

Last synced: 21 Nov 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: 05 Feb 2025

https://github.com/gavinleroy/gscheme

An ever expanding subset of the R6RS specification

ocaml scheme

Last synced: 31 Jan 2025

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

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/unikraft/lib-ocaml

OCaml runtime library

library ocaml unikraft unikraft-library

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

test different ffmpeg trascoding settings

ffmpeg ocaml org-mode python transcode transcoding

Last synced: 25 Nov 2024

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

OCaml binding for botan crypto library

botan cryptography ocaml

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

JSON data description and codecs for OCaml (unreleased)

html ocaml shell standard-ml

Last synced: 31 Dec 2024

https://github.com/sealinesun/tsdl

Thin bindings to SDL for OCaml

c ocaml

Last synced: 31 Dec 2024

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/mitchellgray100/uno

Ocaml terminal based Uno Game.

ai ocaml terminal-based terminal-game uno uno-game

Last synced: 31 Jan 2025

https://github.com/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

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

IMP is a small imperative programming language.

imperative menhir ocaml ocamllex programming-language semantics

Last synced: 28 Dec 2024

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

a programming language

ocaml opam programming-language

Last synced: 30 Jan 2025

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

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

Last synced: 20 Dec 2024

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/hcarty/columns

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Jan 2025

https://github.com/nwaywood/the-super-tiny-compiler-ocaml

Implementation of The Super Tiny Compiler in OCaml

compiler ocaml

Last synced: 23 Dec 2024

https://github.com/harmim/vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser

abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit

Last synced: 06 Feb 2025

https://github.com/r17x/r17x

dx engineer frontend javascript ocaml react reactjs reasonml rescript scripting zsh

Last synced: 06 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