https://github.com/jmid/lcheck

A library for quickchecking lattice modules and associated operations

embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck

Last synced: 01 Dec 2024

https://github.com/hcarty/ppx_interpolate

WIP ppx for string interpolation in OCaml

lexer ocaml ocaml-extension ppx string-interpolation

Last synced: 13 Nov 2024

https://github.com/c-cube/smtlib-utils

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

menhir ocaml parser smt2 smtlib

Last synced: 12 Oct 2024

https://github.com/jhu-pl-lab/dde

Pure Demand Operational Semantics

abstract-interpretation coq interpreter ocaml operational-semantics program-analysis

Last synced: 10 Oct 2024

https://github.com/fxfactorial/bs-web3

bucklescript bindings to web3 IGNORE THIS: USE https://github.com/fxfactorial/ethereum-re

bucklescript bucklescript-bindings ethereum ocaml reasonml

Last synced: 20 Jan 2025

https://github.com/noti0na1/gadtformat

Type-safe Format using GADT in OCaml

format gadt ocaml

Last synced: 28 Oct 2024

https://github.com/vaquierm/golite_transpiler

💻 Transpiler written in OCaml that that converts a subset of golang to C++

code-generation cpp golang ocaml parser scanner transpiler

Last synced: 21 Nov 2024

https://github.com/idkjs/reason-react-native-cross-platform-starter

Starter for React-Native-Web, Reason, reason-react-native, ios, android and web app and React Hooks.

bs-react-native hooks ocaml react-native reasonml

Last synced: 10 Dec 2024

https://github.com/sampsyo/lang-start

skeleton for a language implementation in OCaml

example interpreter ocaml

Last synced: 24 Oct 2024

https://github.com/smolkaj/ocaml-python

Minimalistic setup for running Python scripts from OCaml

boilerplate ipc ocaml python skeleton

Last synced: 10 Nov 2024

https://github.com/fakenickels/rancho-dev-reasonml-es2077

ocaml reasonml

Last synced: 18 Nov 2024

https://github.com/mlms13/bs-nonempty

NonEmpty type with Array and List implementations for ReasonML and OCaml

bucklescript collections functional-programming list nonemptylist ocaml reasonml

Last synced: 12 Oct 2024

https://github.com/andreypopp/ppx_deriving

a collection of ppx deriving plugins

ocaml ppx ppx-deriver

Last synced: 15 Jan 2025

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

Neural networks in OCaml.

neural-network ocaml

Last synced: 18 Dec 2024

https://github.com/adiatma/intip-chrome-extensions

Chrome extension with CRA + ReScript

chrome-extension-react creact-react-app ocaml rescript rescript-react

Last synced: 12 Jan 2025

https://github.com/ucsd-progsys/yunounderstand-data

A collection of novice interactions with the OCaml top-level.

functional-programming homework homework-problem ocaml user-study

Last synced: 24 Dec 2024

https://github.com/joelburget/monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

monaco-editor ocaml

Last synced: 03 Dec 2024

https://github.com/erueri/kosu-lang

Trying to make a programming language

compiler ocaml programming-language

Last synced: 13 Nov 2024

https://github.com/turbomack/bs-platform.nix

BuckleScript via nix made easy

bucklescript javascript nix nixos ocaml reasonml web

Last synced: 16 Oct 2024

https://github.com/smimram/proof-assistant-project

Template for the proof assistant project CSC_51051_EP.

logic ocaml proof-assistant template

Last synced: 12 Oct 2024

https://github.com/samtebbs33/ghica

Esoteric programming language inspired by a certain Romanian lecturer

compiler language ocaml

Last synced: 28 Nov 2024

https://github.com/unixjunkie/nfsopam

wrapper shell script to run opam faster when your $HOME is served via NFS

nfs ocaml opam

Last synced: 04 Dec 2024

https://github.com/akxcv/fast_blank_ocaml

Ruby String#blank? in OCaml

native-extension ocaml ruby

Last synced: 29 Sep 2024

https://github.com/sporto/ocaml_validator

A validator library for OCaml

ocaml

Last synced: 29 Dec 2024

https://github.com/gmalecha/coq-plugin-utils

Useful utility functions for writing Coq plugins

coq coq-plugin ocaml

Last synced: 25 Nov 2024

https://github.com/hannesm/randomconv

Convert random byte vectors to numbers

ocaml random

Last synced: 09 Nov 2024

https://github.com/enieber/reasonml-api

Reasonml Api rest

api api-rest ocaml reason reasonml

Last synced: 07 Dec 2024

https://github.com/cwithmichael/ocaml-game-geek

OCaml Game Geek is centered around building a GraphQL server that mimics some of the functionality of Board Game Geek.

dream graphql graphql-server ocaml

Last synced: 09 Nov 2024

https://github.com/kamirus/ray-tracer

Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.

depth-of-field global-illumination ocaml plane ray-tracer rays renderer soft-shadows sphere

Last synced: 21 Dec 2024

https://github.com/diningphilosophersco/ocaml-internals

Docusaurus website maintaining notes about the OCaml compiler's internals

compilers ocaml stacks

Last synced: 12 Oct 2024

https://github.com/rootmos/ppx_useless

A useless ppx extension

joke ocaml ppx

Last synced: 28 Nov 2024

https://github.com/erikmd/tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

coq emacs ocaml opam proof-general wsl

Last synced: 28 Oct 2024

https://github.com/owlbarn/tutorial

Owl Tutorial

analytics book data-science functional-programming numerical ocaml owl scientific-computing tutorials

Last synced: 13 Nov 2024

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

An implementation of dependently typed lambda calculus

cli dependent-types lambda-calculus ocaml proof

Last synced: 15 Dec 2024

https://github.com/arsalan0c/kanren

Kanren(s) embedded in OCaml for logic programming

kanren logic logic-programming microkanren minikanren ocaml relations

Last synced: 20 Dec 2024

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

Public Repo for Advent of Code Solutions

advent-of-code advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 go ocaml python rust

Last synced: 11 Oct 2024

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

[unfinished] structured, hierarchical log system for OCaml

bare hierarchical log ocaml structured-logging

Last synced: 12 Oct 2024

https://github.com/frectonz/birru_cli

A simple CLI tool the gets data from the Birru API for getting birr forex data.

forex forex-data ocaml tui

Last synced: 14 Nov 2024

https://github.com/bbc2/vsl-interpreter

Interpreter for VSL+

interpreter ocaml toy-language

Last synced: 26 Nov 2024

https://github.com/theteachr/eleet_camel

Collection of solutions to LeetCode problems (in OCaml)

leetcode-solutions ocaml

Last synced: 11 Jan 2025

https://github.com/gfngfn/satysfi-external-repo

Custom OPAM repository for external libraries of SATySFi

ocaml opam opam-repository satysfi

Last synced: 11 Oct 2024

https://github.com/lindig/jbuild-pp

Pretty printer for jbuilder's jbuild files

ocaml opam

Last synced: 11 Nov 2024

https://github.com/beeceej/lgtm

LGTM

actions fun funn github github-actions hacktoberfest hacktoberfest-accepted lgtm ocaml

Last synced: 30 Nov 2024

https://github.com/rishit7/prolog-interpreter

A Mini Prolog interpreter written in OCaml

ocaml prolog prolog-interpreter

Last synced: 11 Jan 2025

https://github.com/paurkedal/panograph

Data-Centric Widgets for Eliom

eliom ocaml ocaml-library ocsigen

Last synced: 20 Jan 2025

https://github.com/xguerin/ocaml-dropbox

Dropbox v2 API bindings

dropbox ocaml

Last synced: 19 Jan 2025

https://github.com/diskuv/scoutapps

Sonic Scout is scouting software for First Robotics competitions.

first-robotics first-robotics-scouting ocaml robotics robotics-competition

Last synced: 12 Oct 2024

https://github.com/acorrenson/ocaml_web_ui

An example of web application written in OCAML

dune incremental-dom jane-street js ocaml webapp

Last synced: 21 Jan 2025

https://github.com/merlin04/reed-commons-menu

Bon Appetit cafeteria menu

bon-appetit cafeteria ocaml reed reed-college

Last synced: 16 Nov 2024

https://github.com/dsheets/benchmark-osx

Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml

benchmark c golang macos ocaml osx performance swift

Last synced: 14 Jan 2025

https://github.com/hcarty/lwt-binio

Lwt-based module for reading binary numbers

asynchronous binary-data lwt ocaml

Last synced: 13 Nov 2024

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

[WIP] CBOR codec for OCaml

cbor ocaml

Last synced: 12 Oct 2024

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

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

logic-programming memoization ocaml prototype

Last synced: 12 Oct 2024

https://github.com/hcarty/proj4ml

PROJ.4 bindings for OCaml

gis ocaml ocaml-bindings proj

Last synced: 13 Nov 2024

https://github.com/patricoferris/ocaml-multiformat

OCaml implementations of multihash, multiaddr, multibase and multicodec

hash ocaml

Last synced: 07 Dec 2024

https://github.com/jubnzv/evm-decompiler

EVM bytecode decompiler

decompiler evm evm-bytecode ocaml

Last synced: 17 Oct 2024

https://github.com/jdan/bismuth

An experimental Scheme

ocaml scheme

Last synced: 01 Jan 2025

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

Wildcard matching of DNS labels, and a tree structure with associated data

ocaml ocaml-library

Last synced: 17 Jan 2025

https://github.com/verse-lab/sisyphus

Mostly Automated Proof Repair for Verified Libraries

coq curry-howard-isomorphism formal-verification higher-order-functions invariant-inference ocaml pldi-artifact proof-repair separation-logic

Last synced: 12 Oct 2024

https://github.com/rishit7/toy-lang

A Simple Toy language made in Prolog and OCaml

krivine-machine ocaml prolog secd toy-language

Last synced: 11 Jan 2025

https://github.com/reasonocamlindia/reason-ocaml-india.github.io

Community website

bangalore bengaluru india ocaml reason reasonml

Last synced: 17 Nov 2024

https://github.com/rishit7/ocamlbasedlexer-parser

A Simple Lexer and Parser written in Ocamllex and Menhir

menhir ocaml ocamllex

Last synced: 12 Oct 2024

https://github.com/c-cube/gemini-client

[toy] ocaml client for gemini

gemini ocaml

Last synced: 17 Jan 2025

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

[bench] benchmark of various iterator implementations

benchmark flambda iterators iterators-bench ocaml

Last synced: 16 Nov 2024

https://github.com/v0idpwn/chatwheel

API + Telegram bot + SPA for Dota 2 hero voicelines

dota2 ocaml

Last synced: 24 Nov 2024

https://github.com/sim642/ocaml-algebra

Small but neat OCaml library of (abstract) algebraic structures

algebra algebraic-structures coding-theory library ocaml ocaml-library university-of-tartu

Last synced: 17 Dec 2024

https://github.com/jimberlage/bs-intl

Intl bindings for Bucklescript

bucklescript i18n intl ocaml reason reasonml

Last synced: 12 Oct 2024

https://github.com/cryptosense/api-client

Cryptosense Analyzer API client

ocaml

Last synced: 06 Nov 2024

https://github.com/xandkar/dropbox-conflicts

Build a tree of conflict dependencies in your Droppbox directory

dropbox ocaml

Last synced: 20 Dec 2024

https://github.com/ahrefs/reshowcase

A tool to create demos for your ReasonReact components

melange ocaml reason reason-react reasonml

Last synced: 19 Nov 2024

https://github.com/benbellick/ppx_deriving_decoders

Auto generate decoders for OCaml

decoders json make-life-easy ocaml ppx

Last synced: 18 Dec 2024

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

Core utils library for Imandra

containers moonpool ocaml

Last synced: 12 Oct 2024

https://github.com/zshipko/ocaml-fusion

Lazy streams for OCaml

ocaml stream-fusion

Last synced: 22 Jan 2025

https://github.com/mxz96102/ocamlsystemcn

OCaml 的官方文档中文翻译，以学习和推广为目的

chinese-translation documents ocaml

Last synced: 13 Oct 2024

https://github.com/jubnzv/folderol

A toy theorem prover

ocaml theorem-prover

Last synced: 17 Oct 2024

https://github.com/palmskog/chip

Change impact analysis in Coq and OCaml

coq impact-analysis mathcomp ocaml proof ssreflect

Last synced: 24 Dec 2024

https://github.com/maxchrr/float32

IEEE 754 Single-precision encoder/decoder tool.

floating-point ieee754 ocaml university-project

Last synced: 12 Oct 2024

https://github.com/frectonz/advent_of_code_2023

Solutions for advent of code 2023

advent-of-code advent-of-code-2023 elm ocaml rust

Last synced: 21 Jan 2025

https://github.com/chenyukang/toy-compilers

interpreter ocaml

Last synced: 20 Jan 2025

https://github.com/marigold-dev/tztools

By Tezos developers, for Tezos developers.

ocaml tezos

Last synced: 28 Dec 2024

https://github.com/charlesaverill/gofr

A Programming Language controlled by the game of Go

board-game dsl esoteric-language go-game ocaml

Last synced: 14 Jan 2025

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

Combinators for matching JSON

json ocaml parser-combinators yojson

Last synced: 20 Jan 2025

https://github.com/kiranandcode/query-complexity-framework

Framework for empirically exploring query complexity questions

ocaml query-complexity randomized

Last synced: 25 Dec 2024

https://github.com/zeta611/stappl

🎲 Statically typed probabilistic programming language, feat. GADT

gadt generalized-algebraic-data-type ocaml probabilistic-graphical-models probabilistic-programming type-system

Last synced: 12 Oct 2024

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

A brainfuck interpreter in OCaml, on Emacs

brainfuck ecaml emacs example ocaml tutorial

Last synced: 11 Jan 2025

https://github.com/remexre/extlint

An extensible linter for OCaml programs.

datalog linter ocaml

Last synced: 22 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/khayyamsaleem/ocaml-fs-experiment

a repo for a full-stack ocaml web app

caqti ocaml opium reasonml

Last synced: 14 Jan 2025

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

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/meafmira/bs-react-pdf

react-pdf bindings for bucklescript

bs-react-pdf bucklescript ocaml react react-pdf reason reasonml

Last synced: 12 Oct 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/bcc32/ecaml-hello

An example Ecaml plugin

ecaml emacs hello-world ocaml plugin

Last synced: 11 Jan 2025

https://github.com/smimram/hyper

Hypergraph rewriting for PROPs

hypergraph ocaml rewriting

Last synced: 18 Dec 2024

https://github.com/erueri/hisoka

An encrypted-file manager

encrypted file ocaml

Last synced: 13 Nov 2024

https://github.com/radionoisee/misakaii

Atarashi, small, fast and robust bilibili media crawler.

bilibili bilibili-download ffmpeg libcurl ocaml

Last synced: 22 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/fusetim/jupyter-mp2i

Jupyter environment for MP2I (including C, Python and OCaml kernels)

bash c ckernel container cpge docker informatique ipython jupyter jupyterwith kernel mp2i nix nix-shell nixos notebook ocaml ocaml-kernel python teaching

Last synced: 20 Jan 2025

https://github.com/shonfeder/aoc

AOC

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

Last synced: 16 Jan 2025

https://github.com/jpenuchot/ocuttherope

OCaml implementation of the Cut The Rope game developed by Théophile Walter and Jules Pénuchot

cut game ml mlg ocaml rope the

Last synced: 10 Jan 2025