https://github.com/yawaramin/dbc

Design-by-contract programming for JavaScript and ReasonML

bucklescript design-by-contract javascript ocaml reasonml

Last synced: 12 Nov 2024

https://github.com/tategakibunko/lwt-websocket

ocaml lwt based websocket library

lwt ocaml websockets

Last synced: 13 Nov 2024

https://github.com/esy/esy-bash

Installation utilities for Cygwin - primed for Reason/OCaml

bash cross-platform cygwin cygwin-installation esy ocaml reasonml

Last synced: 12 Oct 2024

https://github.com/rizo/streams-bench

Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.

benchmarks ocaml streaming

Last synced: 28 Nov 2024

https://github.com/cryptosense/terminal_size

Get the size of the attached terminal in OCaml

ioctl ocaml

Last synced: 06 Nov 2024

https://github.com/patricoferris/jsoo-p5

Js_of_ocaml bindings for the p5.js library

ocaml p5js

Last synced: 07 Dec 2024

https://github.com/reynir/origami-sledgehammer

It's a pastebin, okay?

hacktoberfest ocaml pastebin

Last synced: 12 Oct 2024

https://github.com/teenbiscuits/pasame-codigo

Pásame el Código es una web open source con apuntes y ejercicios resueltos de las diferentes asignaturas que componen el Grado de Enxeñería Informática da Universidade da Coruña.

apuntes astro c cc-by-nc ds ejercicios fic gei git gplv3 java ocaml pp pro1 pro2 pro2324 tailwindcss udc universidad

Last synced: 15 Dec 2024

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

compatibility package for the standard OCaml iterator type

compatibility iterator ocaml seq sequence stdlib

Last synced: 18 Oct 2024

https://github.com/thierry-martinez/clangml

OCaml bindings for Clang

clang ocaml ocaml-bindings

Last synced: 09 Nov 2024

https://github.com/deciduously/mifkad

Attendance tracking webapp - ReasonML frontend/Rust backend - work task automation

actix actix-web full-stack ocaml react reason reason-react reasonml rust webapp

Last synced: 07 Dec 2024

https://github.com/w3reality/bs-three

BuckleScript binding for three.js

bucklescript ocaml reasonml three threejs

Last synced: 14 Nov 2024

https://github.com/o1-labs/ocaml-gen

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

bindings ffi ocaml ocaml-rs rust

Last synced: 18 Dec 2024

https://github.com/smimram/snippetor

Extract snippets from code specified by comments.

ocaml snippets

Last synced: 31 Oct 2024

https://github.com/chshersh/aoc2023

Advent of Code 2023 in OCaml

advent-of-code advent-of-code-2023 advent-of-code-2023-ocaml ocaml puzzles

Last synced: 29 Oct 2024

https://github.com/c-cube/batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

bindings minisat ocaml rust sat

Last synced: 12 Oct 2024

https://github.com/trvswgnr/camel-ts

OCaml's Result and Option modules in TypeScript, for funzies.

error-handling errors null ocaml option result typescript

Last synced: 02 Jan 2025

https://github.com/jubnzv/moonsmith

A random generator of Lua programs

lua ocaml program-generator

Last synced: 17 Oct 2024

https://github.com/laurentmazare/ocaml-tensorflow-eager

OCaml bindings for TensorFlow Eager mode

bindings eager ocaml tensorflow

Last synced: 13 Nov 2024

https://github.com/jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

model-based-testing ocaml patricia-tree property-based-testing quickcheck

Last synced: 01 Dec 2024

https://github.com/joprice/reason-esy-example

Example project using esy and reason

cohttp esy ocaml reason reasonml

Last synced: 22 Dec 2024

https://github.com/reasonableconsulting/compare

ReasonML helpers for generating cmp functions.

comparator compare ocaml reason reasonml sort sorting

Last synced: 12 Oct 2024

https://github.com/vapourismo/opam-nix-integration

Nix integration for OPAM packages

nix ocaml opam

Last synced: 09 Nov 2024

https://github.com/hcarty/ocaml-gdal

OCaml bindings to the GDAL and OGR Libraries

gdal gis ocaml ocaml-bindings

Last synced: 13 Nov 2024

https://github.com/yangdanny97/fire-emblem-chess

Fire Emblem themed pass & play browser chess game, implemented in ReScript

chess d3 d3js fireemblem game games howler javascript ocaml reasonml rescript

Last synced: 17 Nov 2024

https://github.com/mjambon/trax

Catch OCaml exceptions and reraise them later without losing the original stack trace.

exceptions ocaml

Last synced: 23 Oct 2024

https://github.com/anuragsoni/snabbdom-ml

js-of-ocaml ocaml snabbdom

Last synced: 30 Oct 2024

https://github.com/xvw/ocamlectron

[WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml

binding caml electron gui jsofocoaml ocaml

Last synced: 12 Oct 2024

https://github.com/andreas/ocaml-fdb

OCaml client bindings for FoundationDB

fdb foundationdb ocaml

Last synced: 30 Oct 2024

https://github.com/ml-in-barcelona/ppxlib-simple-example

ppxlib simple example, minimal boilerplate to write a ppx. Using esy and alcotest for testing.

alcotest ocaml ppx ppx-extension ppxlib

Last synced: 23 Nov 2024

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

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

hol kernel-of-trust lcf ocaml proof-checker

Last synced: 12 Oct 2024

https://github.com/kyeongmincho/hc-zenburn-vscode

🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code

coq emacs ocaml rust vscode vscode-theme zenburn-theme zenburn-vscode

Last synced: 12 Nov 2024

https://github.com/yurug/menhir-error-recovery

error menhir ocaml

Last synced: 10 Oct 2024

https://github.com/hannesm/usane

Unsigned integers for OCaml

ocaml unsigned-integers

Last synced: 23 Oct 2024

https://github.com/firobe/6502-ml

6502 chip simulator in OCaml

6502 emulator ocaml

Last synced: 12 Oct 2024

https://github.com/dannywillems/web-ocaml-rust-tuto

List of tutorials/projects experiencing OCaml and Rust mixed code running together in the browser.

ocaml rust tutorials wasm wasm-pack web

Last synced: 12 Oct 2024

https://github.com/colis-anr/morsmall

A concise AST for POSIX shell

ocaml shell

Last synced: 19 Nov 2024

https://github.com/rizo/rego

Reasonable Go.

compiler generics go hack ocaml reasonml

Last synced: 28 Nov 2024

https://github.com/smorimoto/re-tree

A minimal Unix tree command implementation written in pure Native Reason

cli native-reason ocaml reason reasonml

Last synced: 02 Nov 2024

https://github.com/manasjayanth/reason-aoc-starter

Reason Starter kit for Advent of Code

advent-of-code esy ocaml pesy reason

Last synced: 12 Oct 2024

https://github.com/xhtmlboi/booba

After paying tribute to Hugo and Zola, the great family of static blog generators pays tribute to another great poet of the 21st Century. Often compared to Céline, and I quote, "if you ignore the form".. lol.

blog ocaml static-site-generator yocaml

Last synced: 27 Oct 2024

https://github.com/wenyuzhao/lambda

Lambda calculus interpreter in OCaml

lambda-calculus ocaml

Last synced: 13 Nov 2024

https://github.com/thespyder/rescript-atdgen-generator

Pre-compiled versions of atdgen binaries to be consumed from ReScript projects

atd bucklescript ocaml reasonml rescript

Last synced: 28 Oct 2024

https://github.com/imandra-ai/catapult

Tracing library for OCaml with catapult/TEF export.

catapult ocaml profiling tracing

Last synced: 22 Nov 2024

https://github.com/xvw/jsoo_broadcastchannel

Binding in Js_of_ocaml for the BroadcastChannel API

binding broadcast-channel javascript ocaml

Last synced: 12 Oct 2024

https://github.com/ucsd-progsys/nate

Learning to Blame Type Errors from Novice Mistakes

machine-learning novice ocaml type-erasure

Last synced: 24 Dec 2024

https://github.com/andreypopp/ocaml-tf

OCaml bindings to terraform/opentofu

ocaml terraform

Last synced: 12 Oct 2024

https://github.com/bcc32/projecteuler-ocaml

My solutions to ProjectEuler problems in OCaml. Don't spoil yourself, please!

cmdliner core dune math ocaml project-euler projecteuler

Last synced: 12 Nov 2024

https://github.com/mirage/ethernet

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

802-3 ethernet mirageos network ocaml unikernel

Last synced: 18 Oct 2024

https://github.com/khady/slack-backup

OCaml cli tool to backup discussions (channels and conversations) from slack

ocaml slack

Last synced: 23 Nov 2024

https://github.com/isaac-defrain/simple-compiler

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

compiler interpreter lexer ocaml parser risc

Last synced: 15 Dec 2024

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

OCaml bindings for glpk

glpk ocaml

Last synced: 31 Oct 2024

https://github.com/mariari/misc-ml-scripts

Various ideas in OCaml, Haskell, and F*

fstar haskell ocaml

Last synced: 07 Dec 2024

https://github.com/raptazure/experiments

Just toys

cpp elixir haskell idris java ocaml python reasonml rust-lang typescript

Last synced: 21 Nov 2024

https://github.com/formalsec/smtml

A Multi Back-end Front-end for SMT Solvers in OCaml

ocaml smt-lib symbolic-execution z3

Last synced: 07 Nov 2024

https://github.com/manasjayanth/esy-mode

Emacs minor-mode for esy

bucklescript esy ocaml reason reasonml

Last synced: 28 Oct 2024

https://github.com/xvw/piplet

Small page generator (Work in progress)

blog lisp ocaml static wip

Last synced: 12 Oct 2024

https://github.com/hannesm/domain-name

RFC 1035 Internet domain names

dns domain-name ocaml rfc1035

Last synced: 12 Oct 2024

https://github.com/rgrinberg/opam-lock

Dump/restore opam dependencies using a lock file

ocaml opam

Last synced: 24 Nov 2024

https://github.com/smimram/learning-effect

Modeling guitar amplifiers using machine learning.

audio-processing machine-learning ocaml

Last synced: 31 Oct 2024

https://github.com/mmottl/vim-files

Vim-configuration files I use or maintain

ocaml vimrc

Last synced: 09 Nov 2024

https://github.com/sim642/ppx_viewpattern

View patterns in OCaml

ocaml ppx ppx-rewriter ppxlib

Last synced: 30 Oct 2024

https://github.com/imandra-ai/mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

deriving fnv hash ocaml ppx

Last synced: 22 Nov 2024

https://github.com/thautwarm/parameterisedmodule.jl

Full featured parameterised ML-modules in Julia

julia module-system ocaml parameterised

Last synced: 30 Nov 2024

https://github.com/rjbou/orb

check opam package reproductibility

ocaml opam reproducible-builds

Last synced: 15 Nov 2024

https://github.com/mbarbin/cmdlang

Declarative command-line parsing for OCaml

cli ocaml

Last synced: 12 Oct 2024

https://github.com/ManasJayanth/reason-aoc-starter

Reason Starter kit for Advent of Code

advent-of-code esy ocaml pesy reason

Last synced: 14 Nov 2024

https://github.com/paurkedal/ocaml-prime

Supplements to the OCaml library

ocaml ocaml-library

Last synced: 12 Nov 2024

https://github.com/nathanreb/bene-gesselint

A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostly linting.

lint linter ocaml ppx

Last synced: 12 Oct 2024

https://github.com/codex-semantics-library/patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

ocaml ocaml-library patricia-tree

Last synced: 12 Oct 2024

https://github.com/anuragsoni/angstrom-examples

Sample parsers using Angstrom

angstrom bencode color ocaml parser

Last synced: 30 Oct 2024

https://github.com/0zat/bs-dom

A DOM Library for BuckleScript

bucklescript dom javascript ocaml ocaml-library

Last synced: 18 Oct 2024

https://github.com/lindig/polly

OCaml bindings for Linux epoll(2)

linux-epoll ocaml ocaml-bindings

Last synced: 11 Nov 2024

https://github.com/hannesm/logs-syslog

Emit Logs via syslog

logging mirageos ocaml syslog tls

Last synced: 09 Nov 2024

https://github.com/alhassy/multistage-programming-taha

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

cheatsheet haskell metaocaml multi-stage-programming ocaml

Last synced: 10 Oct 2024

https://github.com/ahrefs/esgg

ElasticSearch Guided (code) Generator

elasticsearch ocaml

Last synced: 22 Dec 2024

https://github.com/yallop/ocaml-reex

Staged regular expression library for MetaOCaml

metaocaml multi-stage-programming ocaml regex regular-expressions

Last synced: 12 Oct 2024

https://github.com/jaimeloeuf/ss

SimpleScript, A Simpler Programming Language (WIP)

fsharp functional-language hindley-milner interpreter javascript jvm language language-experiment language-spec llvm ocaml programming-language rust scripting-language simplescript sml typescript wysiwyg

Last synced: 13 Nov 2024

https://github.com/vincentdchan/ocaml-binaryen-dsl

Write WAT DSL in OCaml.

binaryen bindings dsl ocaml webassembly

Last synced: 12 Oct 2024

https://github.com/tsaidavid/glitch-reason-react

Create React App + ReasonReact meets Glitch!

bucklescript glitch javascript ocaml react reason-react reasonml

Last synced: 30 Oct 2024

https://github.com/romanchechyotkin/nats.ocaml

OCaml client for NATS, the cloud native messaging system.

client library nats ocaml ocaml-library open-source

Last synced: 12 Oct 2024

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

[wip] Reimplementation of thrift in OCaml

binary idl ocaml rpc thrift

Last synced: 12 Oct 2024

https://github.com/smimram/mlsub

My own implementation of MLsub.

ml ocaml subtyping

Last synced: 31 Oct 2024

https://github.com/vmarcosp/supervise-crawler

:male_detective: Supervise crawler

crawler esy ocaml reasonml webcrawler

Last synced: 18 Nov 2024

https://github.com/smimram/mini-tt

A simple type-theoretic language in OCaml: Mini-TT

mini-tt ocaml type-theory

Last synced: 31 Oct 2024

https://github.com/cryptosense/ocaml-mock

Configurable functions to test impure code

mock ocaml testing

Last synced: 06 Nov 2024

https://github.com/ml-in-barcelona/jsoo-react-template

Template for a minimal jsoo-react project

ocaml react

Last synced: 23 Nov 2024

https://github.com/jdan/wordle.ml

Cheating at the game Wordle with OCaml

ocaml wordle

Last synced: 01 Jan 2025

https://github.com/dmmulroy/s-tier

S-tier S-Expression serialization & deserialization for JavaScript powered by OCaml 🐫✨

javascript ocaml reasonml s-tier sexp typescript

Last synced: 28 Oct 2024

https://github.com/octachron/babilim

Localization plugin for OCaml

internationalization ocaml plugin

Last synced: 12 Nov 2024

https://github.com/crossr/reasonfuzz

Fuzzy matching for Reason.

fuzzy-matching ocaml reasonml

Last synced: 08 Nov 2024

https://github.com/mransan/ocaml-protoc-yojson

Protobuf JSON Runtime for Native OCaml using YoJson

json ocaml ocaml-protoc protobuf protobuf3 yojson

Last synced: 14 Oct 2024

https://github.com/lindig/fit

Minimal OCaml library to parse Garmin FIT files

fit garmin ocaml

Last synced: 11 Nov 2024

https://github.com/tokenrove/tsdl-mixer

SDL2_mixer bindings to go with Tsdl

bindings library ocaml sdl

Last synced: 29 Oct 2024

https://github.com/rootmos/silly-ml

A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend

compiler experimental functional-language ocaml silly x86-64

Last synced: 28 Nov 2024

https://github.com/naereen/peut-on-coder-avec-ocaml-python-et-c-par-sms

Je souhaite répondre à la question suivante : peut on coder avec OCaml, Python et C par SMS ? Oui ! Attention, proof of concept à héberger soi-même localement, et c'est payant avec Twilio.com, et très expérimental ! Mais amusant !

c experimental flask-application fun ocaml prologin python sms-messages teaching twilio wtf

Last synced: 31 Dec 2024

https://github.com/whoismtrx/advent_of_code

Solutions to Advent of Code challenges across multiple programming languages.

advent-of-code clanguage coding coding-challenges competitive-programming cpp csharp ocaml puzzle python rust solutions

Last synced: 13 Dec 2024

https://github.com/naereen/jupyter-nbconvert-ocaml

WARNING it might not work with recent versions of Jupyter, traitlets etc. Use at your own risk, this was not updated since 2017. :wrench: Custom Jupyter :notebook: NBConvert Exporter for the OCaml language :camel:

jupyter-nbconvert jupyter-notebook jupyter-ocaml ocaml ocaml-jupyter

Last synced: 31 Dec 2024

https://github.com/unixjunkie/consent

ligand-based virtual screening with consensus queries

chemical chemoinformatics consensus ecfp4 fingerprint lbvs ligand maccs molprint2d ocaml

Last synced: 15 Oct 2024

https://github.com/tokenrove/shred-for-satan

MIDI-driven metronome

audio gtk metronome midi ocaml

Last synced: 29 Oct 2024