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

Japanese compound verbs dictionary (in russian)

graphql ocaml reasonml

Last synced: 21 Jan 2025

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

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

Automatic backpropagation in OCaml.

backpropagation neural-network ocaml

Last synced: 18 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/andyli/opam-cygwin

cygwin ocaml opam

Last synced: 02 Feb 2025

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

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

ocaml

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

https://github.com/fraidev/dotfiles

my dotfiles :D

dotfiles git macos neovim ocaml vim zsh

Last synced: 01 Nov 2024

https://github.com/eignnx/fauxcaml

A (not so great) Python implementation of OCaml

compiler nasm-assembly ocaml programming-language python37 x86-64

Last synced: 21 Jan 2025

https://github.com/matrixai/ocaml-demo

OCaml Demo Project

ocaml ocaml-library ocaml-program

Last synced: 24 Jan 2025

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

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

ctypes ocaml ppx reasonml serialize

Last synced: 05 Feb 2025

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/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/benschza/nix-ocaml-examples

Examples of OCaml web development using Nix

graphql nix nixpkgs ocaml opium

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

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

Simple grading system using regular expressions.

assignment grade homework ocaml regular-expression

Last synced: 22 Dec 2024

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

My Advent of Code solutions

haskell ocaml puzzles

Last synced: 21 Jan 2025

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

얘! 코딩이 잘 안되니?

esolang kane ocaml

Last synced: 18 Dec 2024

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/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/tanishiking/tiger

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

compiler ocaml

Last synced: 26 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/hcarty/columns

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Jan 2025

https://github.com/gavinleroy/gscheme

An ever expanding subset of the R6RS specification

ocaml scheme

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

🐫 Todocaml - CLI Todo written in Ocaml

ocaml todo todolist

Last synced: 14 Dec 2024

https://github.com/idkjs/reason-react-native-web-template

Starter, React-Native-Web [Demo](https://codesandbox.io/s/q4qymyp2l6) in ReasonML and ReasonReactNative

bs-react-native demo ocaml react-native-web reasonml

Last synced: 04 Feb 2025

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 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/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 06 Jan 2025

https://github.com/jihchi/bs-puppeteer-legacy

[DEPRECATED] BuckleScript bindings to the GoogleChrome/puppeteer (Headless Chrome Node API)

automation bindings bucklescript developer-tools headless-chrome javascript node-module ocaml reason testing web

Last synced: 12 Jan 2025

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

[@@deriving hash]

hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib

Last synced: 17 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/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: 19 Dec 2024

https://github.com/teenbiscuits/practicas-pp

Prácticas de la asignatura Paradigmas de la Programación en OCaml

fic ocaml pp udc

Last synced: 11 Jan 2025

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

bucklescript javascript ocaml

Last synced: 21 Jan 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/red-rapious/compilateur-petit-purescript

Compiler of the Purescript language in OCaml - Project for the "Programming languages and compilation" course 2023-2024 at ENS Ulm

compiler ocaml purescript

Last synced: 11 Jan 2025

https://github.com/red-rapious/ocaml-cas

A basic Computer Algebra System (CAS) made in OCaml

cas computer-algebra-system ocaml

Last synced: 11 Jan 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/gauben/bcotp

Big Cities on Tiny Planets: Definitive Edition

city-builder game ocaml

Last synced: 11 Jan 2025

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

compiler menhir minic ocaml ter

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

helper functor module to map some table rows into other object like json.

ocaml orm

Last synced: 12 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/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/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/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/mbarbin/dune-rpc-eio

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

Last synced: 11 Jan 2025

https://github.com/zsc/jasmine

A distributed make in JoCaml

distributed-computing jocaml ocaml

Last synced: 13 Jan 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/jchavarri/bs-playground-bundler

Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts

bucklescript ocaml reasonml

Last synced: 18 Dec 2024

https://github.com/smimram/latool

Preprocess LaTeX files.

latex ocaml proprocess

Last synced: 23 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/lindig/xenctrl

Mock OCaml Xen bindings

ocaml xen

Last synced: 21 Jan 2025

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

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/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/cheukchuen/go-to-wasm

Golang to WebAssembly compiler written in OCaml

compiler-design golang ocaml webassembly

Last synced: 11 Jan 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/omnisci3nce/kosen

https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCaml

ocaml raytracing raytracing-in-one-weekend

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

Translator and interpreter of a small calculator language in OCaml

compiler eval interpreter ocaml semantic-analysis

Last synced: 19 Jan 2025

https://github.com/paurkedal/spreadsheet-demo

An FRP Experiment

eliom experimental ocaml ocsigen

Last synced: 20 Jan 2025

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

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

interpreter ocaml type-inference

Last synced: 07 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/unikraft/lib-ocaml

OCaml runtime library

library ocaml unikraft unikraft-library

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/kuy/parseco

Learning parser combinators in OCaml + Core.

core ocaml parser-combinators

Last synced: 09 Jan 2025

https://github.com/cfcs/nvlist

Sun/Solaris serialization format library

ocaml serialization-library solaris zfs zfs-filesystem

Last synced: 17 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/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

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/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/kuy/perceptron

ocaml perceptron slap

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

test different ffmpeg trascoding settings

ffmpeg ocaml org-mode python transcode transcoding

Last synced: 25 Nov 2024

https://github.com/0xnu/fms

FMS implements a financial model for stock market simulation.

brownian-motion dynamic-portfolio-value monte-carlo monte-carlo-simulation ocaml probability-of-profit sharpe-ratio sr-lstm stock-market

Last synced: 25 Jan 2025

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

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 Jan 2025

https://github.com/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 15 Dec 2024

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/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/r17x/r17x

dx engineer frontend javascript ocaml react reactjs reasonml rescript scripting zsh

Last synced: 06 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/randombit/botan-ocaml

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 30 Jan 2025

https://github.com/nikitavoloboev/ocaml

OCaml libraries and other code

ocaml ocaml-library

Last synced: 25 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/rootmos/ppx_ski

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Last synced: 26 Jan 2025

https://github.com/jfeser/ocaml-cmph

Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)

hashing mphf ocaml perfect-hash

Last synced: 17 Jan 2025

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/unixjunkie/shlang

A DSL for operations over files

cash cli ocaml scsh unix-shell

Last synced: 31 Jan 2025