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/hexaredecimal/koolml

Cool meta language for the web created in python

caml functional-programming javascript metalanguage ocaml programming-language website

Last synced: 16 Feb 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/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 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/qnighy/fplp-interpreter

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

interpreter ocaml type-inference

Last synced: 07 Feb 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/cheukchuen/go-to-wasm

Golang to WebAssembly compiler written in OCaml

compiler-design golang ocaml webassembly

Last synced: 11 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: 16 Feb 2025

https://github.com/smimram/latool

Preprocess LaTeX files.

latex ocaml proprocess

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

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

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

Big Cities on Tiny Planets: Definitive Edition

city-builder game ocaml

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/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/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/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/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/delciokelson/chat_ocaml

A chat written in ocaml using the lwt library

async chat lwt ocaml

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

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

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

🐫 Todocaml - CLI Todo written in Ocaml

ocaml todo todolist

Last synced: 07 Feb 2025

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/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/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/nikitavoloboev/ocaml

OCaml libraries and other code

ocaml ocaml-library

Last synced: 25 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: 07 Feb 2025

https://github.com/unixjunkie/shlang

A DSL for operations over files

cash cli ocaml scsh unix-shell

Last synced: 31 Jan 2025

https://github.com/unixjunkie/diskuv-ocaml

mirror of https://gitlab.com/diskuv/diskuv-ocaml.git

ocaml windows

Last synced: 31 Jan 2025

https://github.com/maxchrr/float32

IEEE 754 Single-precision encoder/decoder tool.

floating-point ieee754 ocaml university-project

Last synced: 31 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/gabrielemaurina/workspace

Personal workspace. Years of code shouldn't be lost.

cpp eiffel erlang java javascirpt ocaml python scala

Last synced: 01 Feb 2025

https://github.com/prawater/monkey_interpreter.ml

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 01 Feb 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/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 08 Feb 2025

https://github.com/nwaywood/the-super-tiny-compiler-ocaml

Implementation of The Super Tiny Compiler in OCaml

compiler ocaml

Last synced: 15 Feb 2025

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

compiler menhir minic ocaml ter

Last synced: 21 Jan 2025

https://github.com/zsc/jasmine

A distributed make in JoCaml

distributed-computing jocaml ocaml

Last synced: 13 Jan 2025

https://github.com/lindig/xenctrl

Mock OCaml Xen bindings

ocaml xen

Last synced: 21 Jan 2025

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

OCaml subset interpreter

interpreter ocaml types

Last synced: 03 Feb 2025

https://github.com/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

https://github.com/xnyo/minicaml

PR2B@unipi 2019-2020

ocaml

Last synced: 28 Dec 2024

https://github.com/jt2m0l3y/mypl

Programming language designed for the purpose of studying compilation and runtime processes. As a side note, OCaml was also introduced to contrast with imperative languages.

ast code-generation compiler-design cpp grammars jit lambda-calculus lexical-analysis ocaml parsing type-checking vm

Last synced: 18 Feb 2025

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 11 Feb 2025

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 27 Jan 2025

https://github.com/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 08 Feb 2025

https://github.com/saswatpadhi/ocaml-logicalform

logic logical-forms logical-knowledge-representation ocaml ocaml-library

Last synced: 10 Feb 2025

https://github.com/nyeoglya/cs321-assign

2025 spring semester cs321 assignment directory by hyunseong, POSTECH 24

assigmnents-solution ocaml programminglanguage

Last synced: 18 Feb 2025

https://github.com/khalidbelk/puml2xml

A PlantUML to XML converter

automation converter document ocaml plantuml uml xml

Last synced: 18 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/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 10 Feb 2025

https://github.com/sagnikc395/project-euler

Project Euler Solutions.

effect ocaml project-euler

Last synced: 21 Jan 2025

https://github.com/bitmaybewise/ocaml-playground

mirrored from https://gitlab.com/bitmaybewise/ocaml-playground

ocaml

Last synced: 21 Jan 2025

https://github.com/nickzuber/ocaml-exercises

Some exercises I've done in OCaml to help practice and learn the language.

ocaml ocaml-exercises practice

Last synced: 06 Feb 2025

https://github.com/slamko/ppx_catch

Ocaml PPX for no-exception error handling

error-handling functional-programming meta-programming no-exception ocaml ppx ppx-extension ppx-rewriter ppxlib

Last synced: 21 Jan 2025

https://github.com/sagnikc395/functional-programming

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

Last synced: 21 Jan 2025

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

My solutions to the Advent of Code problems.

advent-of-code competitive-programming ocaml

Last synced: 06 Feb 2025

https://github.com/benhuds/ocaml-provers

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

first-order-logic ocaml propositional-logic theorem-prover

Last synced: 17 Jan 2025

https://github.com/healthypackrat/metro-book

『プログラミングの基礎』のメトロネットワーク最短経路問題

book graph-algorithms ocaml

Last synced: 09 Jan 2025

https://github.com/jonathanjameswatson/regex_parser

OCaml parsers (not compilers!) for (limited) regular expressions

ebnf lexer lr1-parser menhir ocaml ocamllex parser recursive-descent-parser regex

Last synced: 17 Feb 2025

https://github.com/mikaello/ocaml-libxml2

ocaml-libxml2 is a library for calling libxml2 functions from OCaml

bindings libxml libxml2 ocaml

Last synced: 06 Feb 2025

https://github.com/pawvan/text_analyzer

ocaml

Last synced: 26 Jan 2025

https://github.com/amahanna/sandbox

languages practiced go here

cpp golang java lisp ocaml prolog python vhdl

Last synced: 19 Feb 2025

https://github.com/mungasoftwiz/terminal-screen

Program reads a stream of bytes supplied as input and generates a graphical representation of the bytes in a terminal window.

16-colors 256-colors alcotest ansi-colors bresenham-line-drawing-algorithm cli-app fmt functional-programming monochrome ocaml terminal-based

Last synced: 06 Feb 2025

https://github.com/dhil/google-tech-talk-2018

Materials for my Google Tech Talk 2018

concurrency effect-handlers effects ocaml

Last synced: 10 Feb 2025

https://github.com/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 21 Jan 2025

https://github.com/stepankuzmin/exercism

My Exercism solutions

clojure elm erlang exercism ocaml rust

Last synced: 31 Jan 2025

https://github.com/magnitopic/ft_turing

Ever heard of Turing’s machine?

42cursus ft-turing ft-turing42 ocaml turing-machine turing-machine-simulator

Last synced: 21 Jan 2025

https://github.com/pombadev/pkgman

ocaml

Last synced: 16 Jan 2025

https://github.com/fuwn/disml

🐪 A Discord bot framework for OCaml

discord ocaml

Last synced: 05 Feb 2025

https://github.com/kkazuo/pdfinfo

A wrapper around the pdfinfo command

ocaml pdf

Last synced: 16 Jan 2025

https://github.com/herulume/playground

agda coq elixir elm go haskell ocaml

Last synced: 16 Feb 2025

https://github.com/lwcarani/json-parser

JSON parsers, implementations in Python and OCaml

json json-parser menhir ocaml ocamllex python

Last synced: 01 Feb 2025

https://github.com/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 16 Feb 2025

https://github.com/tsaidavid/exercism

algorithms exercism exercism-javascript javascript ocaml reason reasonml

Last synced: 09 Feb 2025

https://github.com/susji/opl

Toy compiler for PL/0, emits x86-64 assembly for Linux

compilers educational ocaml

Last synced: 07 Feb 2025

https://github.com/gaku-sei/bucklescript-tea-showcase

Playing with OCaml and Bucklescript TEA

bucklescript elm-architecture ocaml

Last synced: 14 Feb 2025

https://github.com/bertrand31/data-structures-reasonml

Collection of data structures implemented in ReasonML (OCaml)

functional-programming ocaml reasonml

Last synced: 17 Feb 2025

https://github.com/kkazuo/slack_rtm

Slack RTM for OCaml

ocaml slack

Last synced: 16 Jan 2025

https://github.com/willguimont/sjm

Manage SLURM jobs on multiple clusters easily.

cli machine-learning ocaml slurm tools

Last synced: 14 Feb 2025

https://github.com/aeghost/fmtime

Format time in OCaml, should be used with Fmt module

format ocaml time

Last synced: 21 Jan 2025

https://github.com/hoddy3190/ocamlformat-vscode-extension

VSCode extension - simple wrapper for ocamlformat command

ocaml ocamlformat vscode vscode-extension

Last synced: 09 Jan 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/alanvf/star_parser

WIP parser for the Star programming language

menhir ocaml parser star

Last synced: 16 Jan 2025

https://github.com/alex-hedley/ocaml-example

OCaml Example

ocaml

Last synced: 14 Feb 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/neal-c/hello-ocaml

A playground for curiosity, fun and very deep personal notes

ocaml

Last synced: 02 Feb 2025

https://github.com/narcisseuuh/geometricon

Implementing an abstract analyzer for a language describing geometry in R^2

abstract-interpretation ocaml

Last synced: 14 Feb 2025

https://github.com/disownedwheat/fungo_of_ocaml

An experimental compiler for an Ocaml inspired language that targets Golang

compiler go ocaml

Last synced: 14 Feb 2025

https://github.com/cgyurgyik/caml-pox

Epidemic simulation game.

epidemic epidemic-game epidemic-theory functional functional-programming game ocaml

Last synced: 16 Jan 2025

https://github.com/monkeyjunglejuice/emacs.ontop

Mission: Providing a great user experience in Emacs for various programming languages.

common-lisp elixir emacs emacs-setup emacs-starter-kit haskell julia ocaml racket

Last synced: 13 Jan 2025

https://github.com/olafhering/ocaml-camlbz2

Unofficial mirror of Camlbz2 for dune

bz2 bzip2 dune ocaml

Last synced: 16 Feb 2025

https://github.com/davphla/rpc-ocaml

Attempted implementation of a RPC Module for OCaml

ocaml ocaml-library parallel-computing rpc

Last synced: 12 Feb 2025

https://github.com/idkjs/reason-react-native-elements-gitphone

Reason Version of React Native Elements's Gitphone Case Study: https://react-native-training.github.io/react-native-elements/blog/2018/12/13/react-native-web.html

bs-react-native bucklescript bucklescript-bindings ocaml react-native react-native-elements reasonml

Last synced: 04 Feb 2025