https://github.com/emilerolley/vgr-pixmap

Vg renderer in pure OCaml for raster outputs.

2d-graphics ocaml vg-renderer

Last synced: 15 Dec 2024

https://github.com/unixjunkie/ofts

OCaml fuzzy type search

command-line-tool hoogle ocaml ocaml-program search-engine types

Last synced: 19 Dec 2024

https://github.com/msoap/factorial-multi-language

Calc factorial in any languages

awk benchmark coffeescript dart erlang golang haskell java javascript kotlin languages lua ocaml pascal perl php python ruby rust swift

Last synced: 14 Oct 2024

https://github.com/shonfeder/aoc

AOC

advent-of-code aoc2021 aoc2022 aoc2022-in-ocaml ocaml

Last synced: 15 Nov 2024

https://github.com/aloussase/miniml

MiniML in various PLs. Add yours!

haskell ocaml plzoo programming-languages rust

Last synced: 24 Dec 2024

https://github.com/serpent7776/js13k-2020-theme-not-found

Theme not found: My submission to js13k 2020

game hangman html javascript js-of-ocaml js13k js13kgames2020 ocaml

Last synced: 28 Nov 2024

https://github.com/anuragsoni/incr_dom_navigation_example

client side navigation in incr_dom applications

js-of-ocaml ocaml

Last synced: 17 Dec 2024

https://github.com/lamg/convff

A disposable program for converting videos using ffmpeg

command-line ffmpeg json nix ocaml

Last synced: 25 Dec 2024

https://github.com/isaac-defrain/todo

Todo list application built to explore different features of the OCaml language

functional-programming functors modules ocaml

Last synced: 15 Dec 2024

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

IRC client for OCaml

irc ocaml

Last synced: 18 Dec 2024

https://github.com/smimram/polyr

Polygraphic rewriting

ocaml polygraph rewriting

Last synced: 18 Dec 2024

https://github.com/smimram/cccatt

A type theory for unbiased cartesian closed categories.

cartesian-closed-category lambda-calculus ocaml type-theory unbiased

Last synced: 22 Oct 2024

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/reasonocamlindia/dream-web-server-sessions

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

ocaml reason

Last synced: 12 Oct 2024

https://github.com/erueri/oangou

A content encryptor

cli diffie-hellman encryption-decryption ocaml

Last synced: 12 Oct 2024

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/sanette/tsdl-image

OCaml SDL2_image bindings to go with Tsdl

ocaml ocaml-bindings sdl2 sdl2-image

Last synced: 30 Sep 2024

https://github.com/joakin/ocaml-random-text-generation

markov chain text generator written in ocaml

markov-chain ocaml

Last synced: 19 Dec 2024

https://github.com/mroik/aoc

Advent of Code solutions

advent-of-code ocaml rust

Last synced: 05 Jan 2025

https://github.com/fraidev/dotfiles

my dotfiles :D

dotfiles git macos neovim ocaml vim zsh

Last synced: 01 Nov 2024

https://github.com/hcarty/cobinio

mmap-like random access in a cooperative thread friendly way

asynchronous binary io lwt ocaml

Last synced: 13 Nov 2024

https://github.com/rawleyfowler/site

My personal website

blog blogging ocaml website

Last synced: 27 Oct 2024

https://github.com/gabryon99/mucomp-lang

μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.

compilers languages lexer llvm menhir ocaml ocamllex parser programming

Last synced: 28 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/fccm2/rollmoon

A mini-game with 2d physics.

2d-physics html5-canvas html5-game ocaml rescript

Last synced: 12 Oct 2024

https://github.com/dean177/advent-of-code

My Advent of Code solutions

haskell ocaml puzzles

Last synced: 12 Oct 2024

https://github.com/aantron/bisect-ci-integration-megatest

Bisect_ppx web integrations testing

ci coverage 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: 12 Oct 2024

https://github.com/leonidas-from-xiv/opam-thanks

💖 🐫 Give thanks to your fellow Camlers

ocaml opam

Last synced: 12 Oct 2024

https://github.com/ocaml-dune/binary-distribution

A web page for dune binary distribution

build dune ocaml

Last synced: 17 Oct 2024

https://github.com/ricarkol/ocaml-toy-vmm

Tiny toy KVM-based-VMM written in OCaml and capable of starting Linux (bzimage + serial console).

kvm ocaml

Last synced: 20 Dec 2024

https://github.com/gfngfn/poly-shift-reset

An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]

continuation delimited-continuation ocaml polymorphic-types type-checker type-system

Last synced: 15 Nov 2024

https://github.com/aapeliv/kazm

A small C-like programming language implemented in OCaml

compiler llvm ocaml

Last synced: 17 Nov 2024

https://github.com/gpetiot/ocamlformat-preview

OCamlFormat in the browser

ocaml ocamlformat

Last synced: 29 Nov 2024

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/zeta611/effect_based_interpreter

A modular interpreter using effects and effect handlers

algebraic-effects effect-handlers interpreter monad monad-transformers ocaml

Last synced: 06 Dec 2024

https://github.com/micheleriva/ocaml-assembly-example

👾Just an Assembly Hello World program compiled from OCaml ocamlopt.

assembly compiler ocaml

Last synced: 14 Dec 2024

https://github.com/ludovicm67/ocaml-turing-machine

Machine de Turing réalisée en Ocaml

caml ocaml turing-machine university university-project

Last synced: 16 Dec 2024

https://github.com/jottenlips/deprecated-jottenlips.github.io

📃 ReasonML markdown blog engine, turn an S3 bucket into a Github Pages blog

blog-engine experiment functional-programming jamstack javascript markdown ocaml react reason reasonml webpack

Last synced: 21 Dec 2024

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/nderjung/mirage-docker

A development environment for MirageOS applications.

docker docker-image mirage ocaml toolchain

Last synced: 30 Dec 2024

https://github.com/kiranandcode/camelclone

Automatically push changes to selected repositories - 0% tested yet 100% correct.

coq formalization ocaml verification

Last synced: 25 Dec 2024

https://github.com/stefanwaldhauser/ocamlrandom

Random OCaml Code that could be useful to some

eidi2 exam functional-programming ocaml technical-university-munich tum

Last synced: 14 Nov 2024

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/federicobruzzone/caml-writer

CamlWriter is a terminal-based text editor developed using the OCaML.

functional-programming ocaml terminal-based text-editor

Last synced: 09 Nov 2024

https://github.com/bcc32/ecaml-bf

A brainfuck interpreter in OCaml, on Emacs

brainfuck ecaml emacs example ocaml tutorial

Last synced: 12 Nov 2024

https://github.com/bcc32/ecaml-hello

An example Ecaml plugin

ecaml emacs hello-world ocaml plugin

Last synced: 12 Nov 2024

https://github.com/frectonz/advent_of_code_2022

Solutions for advent of code 2022

advent-of-code advent-of-code-2022 elm golang ocaml rust

Last synced: 14 Nov 2024

https://github.com/andyli/opam-cygwin

cygwin ocaml opam

Last synced: 07 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/matrixai/ocaml-demo

OCaml Demo Project

ocaml ocaml-library ocaml-program

Last synced: 24 Nov 2024

https://github.com/smimram/regrade

Simple grading system using regular expressions.

assignment grade homework ocaml regular-expression

Last synced: 22 Dec 2024

https://github.com/progbits/spacebar

A C to Whitespace transpiler.

c esolang menhi ocaml transpiler whitespace

Last synced: 14 Nov 2024

https://github.com/sanxiyn/ocaml-ancient

Unlimited size ancient heap for OCaml (Mirror of git://git.annexia.org/ocaml-ancient.git)

ocaml

Last synced: 02 Jan 2025

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

Project Euler in OCaml

euler-project excercise ocaml

Last synced: 15 Nov 2024

https://github.com/sandromaglione/ocaml-getting-started-advent-of-code-23

Getting started with OCaml and Functional Programming by solving puzzles from Advent of Code 23・Newsletter sandromaglione.com

advent-of-code advent-of-code-2023 advent-of-code-2023-ocaml functional-programming learn-ocaml learn-ocaml-language ocaml

Last synced: 15 Nov 2024

https://github.com/kkazuo/azblob

A trivial Azure Blob Storage interface for OCaml

azure ocaml storage

Last synced: 15 Nov 2024

https://github.com/tobil4sk/pcre2-ocaml

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

ocaml pcre2

Last synced: 17 Nov 2024

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: 10 Dec 2024

https://github.com/effrenus/nippon-gatari

Japanese compound verbs dictionary (in russian)

graphql ocaml reasonml

Last synced: 20 Nov 2024

https://github.com/fusion/reasonable-fidelity

Replay recorded web sessions, check for fidelity

automation ocaml reasonml regression-tests testing

Last synced: 04 Dec 2024

https://github.com/narimiran/adventofcode2019

My OCaml solutions for Advent of Code 2019

advent advent-of-code advent-of-code-2019 adventofcode adventofcode2019 functional functional-programming ocaml

Last synced: 25 Nov 2024

https://github.com/enieber/re-newsletter

Newsletter about ReasonML, OCaml and ReScript

hacktoberfest news newsletter ocaml reasonml rescript

Last synced: 07 Dec 2024

https://github.com/cloudi/cloudi_api_ocaml

OCaml CloudI API

actor-model cloud cloud-computing cloudi-api concurrency distributed-actors distributed-systems fault-tolerance functional-reactive-programming microservices ocaml reactive scalability soa

Last synced: 31 Dec 2024

https://github.com/imandra-ai/cbor-pack

OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR

cbor ocaml serialization serialization-format

Last synced: 22 Nov 2024

https://github.com/s0kil/ultrapractical

Hands On Learning For The Impatient

dart elixir flutter learning learning-by-doing ocaml practical python ruby rust scala

Last synced: 26 Nov 2024

https://github.com/bbc2/legends-of-code-ocaml

OCaml submission for the CodinGame challenge "Legends of Code and Magic"

algorithm-competitions codingame codingame-solutions ocaml

Last synced: 26 Nov 2024

https://github.com/dawee/prisml

Write OCaml through the Reason prism. Write ReasonML through the OCaml prism.

ocaml reasonml vscode-extension

Last synced: 26 Nov 2024

https://github.com/diohabara/nn_ocaml

https://ocaml.org/problems

99problems maybe-done ocaml

Last synced: 02 Dec 2024

https://github.com/squiddev/omnomnom

An OCaml test runner inspired by Tasty

ocaml unit-testing

Last synced: 08 Dec 2024

https://github.com/fersilva16/exercism-ocaml

My solutions for Exercism's OCaml Track

exercism ocaml

Last synced: 23 Dec 2024

https://github.com/9sako6/ccaml

A toy C compiler written in OCaml

compiler ocaml

Last synced: 31 Dec 2024

https://github.com/melwyn95/learn-ocaml

Solutions to https://ocaml-sf.org/learn-ocaml-public/#

ocaml

Last synced: 09 Dec 2024

https://github.com/eudoxia0/ocaml-nix-starter

OCaml starter project template using Nix for reproducibility.

dune nix ocaml project-template

Last synced: 23 Dec 2024

https://github.com/idkjs/reason-cssgrid-media

css-grid images and audio with reasonml demo

bs-director bucklescript css-grid ocaml reason reason-react reasonml

Last synced: 10 Dec 2024

https://github.com/naereen/minipy-interpreter-in-ocaml

My local copy of files from https://github.com/LaurentMazare/LaurentMazare.github.io/tree/master/minipy, whose code is there https://github.com/LaurentMazare/ocaml-minipy

ace-editor bootstrap js-of-ocaml minipython-interpreter ocaml ocaml-interpreter python-interpreter repl toplevel

Last synced: 31 Dec 2024

https://github.com/elbywan/ppx-ctypes-helper

Ppx that helps serializing structures and enums to / from c. 🏭

ctypes ocaml ppx reasonml serialize

Last synced: 12 Dec 2024

https://github.com/jdan/ocaml-tictactoe

Playing around with some OCaml + Bucklescript + Express + Socket.io

bucklescript express ocaml socket-io

Last synced: 01 Jan 2025

https://github.com/jdan/ocaml-calculator-game

Calculator: The Game solver

ocaml

Last synced: 01 Jan 2025

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

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

abstract-interpretation atomicity atomicity-violation bachelor-thesis concurrency facebook facebook-infer ocaml program-analysis static-analysis vut vut-fit

Last synced: 13 Dec 2024

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: 13 Dec 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/bbatsov/praxis

Praxis makes perfect!

99-problems advent-of-code clojure ocaml

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/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/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/invrtd-h/colang2

얘! 코딩이 잘 안되니?

esolang kane ocaml

Last synced: 18 Dec 2024

https://github.com/benschza/nix-ocaml-examples

Examples of OCaml web development using Nix

graphql nix nixpkgs ocaml opium

Last synced: 24 Dec 2024

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

Automatic backpropagation in OCaml.

backpropagation neural-network ocaml

Last synced: 18 Dec 2024

https://github.com/smimram/levenfind

Find pairs of similar files according to Levenshtein distance.

edit-distance levenshtein-distance ocaml

Last synced: 18 Dec 2024

https://github.com/pveber/libsvm-ocaml

LIBSVM Bindings for OCaml

bindings machine-learning ocaml support-vector-machines svm

Last synced: 02 Jan 2025

https://github.com/pveber/pipes

Stream programming in the style of Haskell's {pipe, conduit, iteratee}

ocaml stream-programming

Last synced: 02 Jan 2025

https://github.com/davep/mandeldraw

Mandelbrot Set Plotter in OCaml

fractal mandelbrot mandelbrot-fractal ocaml

Last synced: 25 Dec 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/chichunchen/cal-translator-and-interpreter

Translator and interpreter of a small calculator language in OCaml

compiler eval interpreter ocaml semantic-analysis

Last synced: 18 Nov 2024

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

Building auto format commands for custom languages

auto-formatter dune dune-fmt fmt ocaml

Last synced: 12 Nov 2024

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

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

Last synced: 20 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: 13 Dec 2024

https://github.com/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 16 Nov 2024

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: 23 Nov 2024