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/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/randombit/botan-ocaml

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 30 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: 12 Feb 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/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 08 Feb 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/solarliner/ml-difflist

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 12 Feb 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/diohabara/pl

a programming language

ocaml opam programming-language

Last synced: 30 Jan 2025

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

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

ocaml reason

Last synced: 13 Feb 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/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/sim642/ocaml-arg-complete

Bash completion support for OCaml Stdlib.Arg

bash-completion ocaml ocaml-library

Last synced: 09 Feb 2025

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/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/jchavarri/bs-playground-bundler

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

bucklescript ocaml reasonml

Last synced: 10 Feb 2025

https://github.com/hcarty/extbigarray

Extra bigarray functions

numeric ocaml

Last synced: 13 Jan 2025

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

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

interpreter ocaml type-inference

Last synced: 07 Feb 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/hacker-code-j/software-verification

first-order-logic ocaml propositional-logic software-verification

Last synced: 21 Jan 2025

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 Jan 2025

https://github.com/strykerkkd/maco

virtual machine in ocaml

bytecode-interpreter ocaml virtual-machine vm

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

Eazy wrapper of postgresql

core ocaml postgresql

Last synced: 16 Jan 2025

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 11 Feb 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/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/hexaredecimal/koolml

Cool meta language for the web created in python

caml functional-programming javascript metalanguage ocaml programming-language website

Last synced: 24 Dec 2024

https://github.com/delciokelson/chat_ocaml

A chat written in ocaml using the lwt library

async chat lwt ocaml

Last synced: 21 Jan 2025

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: 13 Feb 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/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/sealinesun/jsonx

JSON data description and codecs for OCaml (unreleased)

html ocaml shell standard-ml

Last synced: 31 Dec 2024

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

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

https://github.com/singularityx-ai/penify-oapi-code-gen

OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages

csharp go golang java javascript nodejs ocaml php python typescript

Last synced: 10 Feb 2025

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

Test Anything Protocol for OCaml

ocaml perl prove tap test-anything-protocol testing

Last synced: 11 Jan 2025

https://github.com/shnewto/lilac

OCaml library for getting the value of any field in a YAML file as a string.

bisect-ppx cmdliner codecov dune lilac mit ocaml ounit yaml yaml-unix

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

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Last synced: 26 Jan 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/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

https://github.com/gavinleroy/gscheme

An ever expanding subset of the R6RS specification

ocaml scheme

Last synced: 31 Jan 2025

https://github.com/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

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/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/fizzyelt/ocaml_aoc_2024

advent-of-code-2024 ocaml

Last synced: 05 Feb 2025

https://github.com/acorrenson/minigc

A tinny GC written in plain C

c compiler-construction compiler-design garbage-collector java ocaml programming-languages

Last synced: 21 Jan 2025

https://github.com/farmansu/qcst

Quantum Cognitive Synthesis Theory (QCST) is a theoretical framework exploring the integration of quantum mechanics, cognitive science, and AI. It proposes that consciousness might be simulated through quantum-like processes in microtubules, with implementations across various programming languages and using MySQL for managing learning experiences.

cognitive-science consciousness game-development machine-learning microtubules neuroscience ocaml property-based-testing quantum-computing quickcheck reinforcement-learning robotics

Last synced: 21 Jan 2025

https://github.com/viet281101/minic-misp_compiler

A small language compiler in Ocaml, translates MiniC syntax into MISP and runs

compiler misp ocaml

Last synced: 13 Feb 2025

https://github.com/vlad-a-barbu/vclib

Vlad's Caml lib

networking ocaml parsers schedulers

Last synced: 11 Feb 2025

https://github.com/kiranandcode/http_sig_ocaml

HTTP Signatures for OCaml

http http-signature ocaml ocaml-library

Last synced: 25 Dec 2024

https://github.com/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 2025

https://github.com/jonathanjameswatson/earley_parser

Earley parser for context-free grammars

dune earley-parser ocaml parser

Last synced: 26 Dec 2024

https://github.com/alexchang8/tetris-caml

Tetris implemented in ocaml, then ported to js

ocaml

Last synced: 24 Dec 2024

https://github.com/jgaehring/cletus

A cross-platform, local-first markdown editor built with Revery. (WORK IN PROGRESS)

desktop local-first ocaml reasonml revery

Last synced: 29 Dec 2024

https://github.com/uncomputable/expressive-wallet

What is a minimal wallet of coins that can express all amounts below a target?

coq formal-verification maths maths-problem ocaml theorem-proving

Last synced: 24 Dec 2024

https://github.com/vit0rr/lexical_analysis

Lexical analysis interpreter step in OCaml

functional-programming lexer lexical-analysis ocaml

Last synced: 27 Jan 2025

https://github.com/w-henderson/humphreyjr

🐪 The Performance-Focused, Dependency-Free Web Server, now in OCaml. (WIP)

http http-server ocaml web-framework web-server

Last synced: 13 Jan 2025

https://github.com/rastreus/ocaml-book-club

Working through OCaml Books... for Fun!

bookclub education learning ocaml

Last synced: 28 Dec 2024

https://github.com/codiepp/ml-cpp-filesystem

OCaml embedded cross-platform C++ <filesystem>

cpp filesystem hacktoberfest ocaml

Last synced: 21 Jan 2025

https://github.com/codiepp/ml-cpp-chrono

OCaml embedded cross-platform C++ <chrono>

chrono cpp hacktoberfest ocaml

Last synced: 21 Jan 2025

https://github.com/lambdabaa/ocamlconf

Autoconf for OCaml codebases

makefile ocaml

Last synced: 04 Jan 2025

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

advent of code exercises

advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 cpp ocaml rust

Last synced: 30 Jan 2025

https://github.com/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 Jan 2025

https://github.com/eratio08/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

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

yearly Advent of Coden solution attempts

advent-of-code advent-of-code-2015 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 advent-of-code-2024 elixir go kotlin ocaml

Last synced: 21 Jan 2025

https://github.com/puripuri2100/xml2saty

This software converts xml file to SATySFi's document file.

ocaml opam satysfi satysfi-document xml xml2saty

Last synced: 29 Dec 2024

https://github.com/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 2025

https://github.com/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 2025

https://github.com/ahnineamine/log-analysis-api

OCaml-based REST API designed to process, analyze, and transform log data

dune functional-programming ocaml

Last synced: 04 Feb 2025

https://github.com/rodrigooler/react-native-reason

Wonderful boilerplate using Reason with react-native

javascript ocaml react react-native react-native-reason reason yarn

Last synced: 21 Jan 2025

https://github.com/juniforge/nmap_xml_parser

A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.

nmap ocaml xml xml-parser

Last synced: 30 Dec 2024

https://github.com/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

https://github.com/jxiao/aoc

Advent of Code (ft. 🐫 & 🐍 )

ocaml python

Last synced: 10 Feb 2025

https://github.com/mk-fg/ghg

Simple command-line NaCl/libsodium file encryption tool

cli cryptography nacl ocaml security tool

Last synced: 07 Jan 2025

https://github.com/demiazz/advent-of-ocaml

Advent of Code on OCaml

advent-of-code ocaml

Last synced: 21 Jan 2025

https://github.com/algojobs/ocaml-jobs

The latest OCaml jobs, updated weekly.

jobs jobsearch ocaml software-engineering

Last synced: 21 Jan 2025

https://github.com/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 08 Feb 2025

https://github.com/lue-bird/elm-syntax-to-ocaml

transpile elm to ocaml

elm elm-syntax ocaml transpiler

Last synced: 08 Jan 2025

https://github.com/arata-nvm/tedate

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 Jan 2025

https://github.com/risto-stevcev/bs-callbag-last

Creates a callbag containing only the last signal from the given stream

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/risto-stevcev/bs-callbag-to-promise

Convert an async pullable source into a promise

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/risto-stevcev/bs-callbag-batteries

Callbags with batteries included

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/calculationcollective/mlcalculator

calculator ocaml

Last synced: 08 Jan 2025

https://github.com/yayuniversal/projet-ipf-s2

Functional programming project of the 2nd semester - ENSIIE

decision-trees functional-programming ocaml

Last synced: 08 Jan 2025

https://github.com/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

ocaml

Last synced: 21 Jan 2025

https://github.com/thehxdev/ocaml-practice

Solving some problems with Ocaml

ocaml

Last synced: 21 Jan 2025

https://github.com/mikejeuga/fonctionnelle

Just some files while I am learning

functional-programming learning ocaml

Last synced: 21 Jan 2025

https://github.com/justynhunter/advent-of-code-2015

Advent of Code 2015 done in Ocaml

advent-of-code-2015 advent-of-code-2015-ocaml ocaml

Last synced: 21 Jan 2025

https://github.com/federicobruzzone/setup-ocaml-project-without-dune

This repository provides a basic setup for an OCaml project without 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: 09 Nov 2024

https://github.com/federicobruzzone/99-ocaml-problems

Implementations of the 99 problems in OCaml.

99problems functional-programming ocaml problem-solving

Last synced: 09 Nov 2024

https://github.com/navierula/learningneverends

New Year's Resolution 2017+2018: learn new programming languages :)

javascript ocaml python r

Last synced: 21 Jan 2025

https://github.com/lmarzocchetti/wangtiles-ml

Wang Tiles generator in Ocaml

functional functional-programming ml ocaml wang-tiles

Last synced: 07 Jan 2025