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

dx engineer frontend javascript ocaml react reactjs reasonml rescript scripting zsh

Last synced: 06 Feb 2025

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

ocaml perceptron slap

Last synced: 09 Jan 2025

https://github.com/kuy/parseco

Learning parser combinators in OCaml + Core.

core ocaml parser-combinators

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

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Jan 2025

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

An FRP Experiment

eliom experimental ocaml ocsigen

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

Bash completion support for OCaml Stdlib.Arg

bash-completion ocaml ocaml-library

Last synced: 09 Feb 2025

https://github.com/hcarty/extbigarray

Extra bigarray functions

numeric ocaml

Last synced: 13 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/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/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/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/maolonglong/bogoscheme

A subset of Scheme

menhir ocaml ocamllex repl scheme scheme-interpreter

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

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

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/hacker-code-j/software-verification

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

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

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 08 Feb 2025

https://github.com/azur1s/ichor

ML-like language for the backend (WIP)

backend javascript ocaml programming-language

Last synced: 26 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/ryanhill1/command-line-checkers

Checkers with AI.

ai checkers functional-programming game game-tree ocaml

Last synced: 12 Jan 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/cedlemo/ocaml-mongoc

Ctypes based OCaml bindings for the libmongoc library

bson ctypes libmongoc mongo ocaml ocaml-bsonc ocaml-mongoc

Last synced: 06 Feb 2025

https://github.com/rootmos/wwwo

My continuation-passing style static website generator written in OCaml

ocaml

Last synced: 26 Jan 2025

https://github.com/dakotamurphyucf/ocaml-gpt

Ocaml project providing AI tooling using the Openai api.

developer-tools ocaml openai

Last synced: 21 Jan 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

https://github.com/petetnt/advent-of-code-2017-reasonml

Advent of Code 2017 with ReasonML

advent-of-code advent-of-code-2017 functional-programming ocaml reasonml

Last synced: 05 Feb 2025

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

Playing with OCaml and Bucklescript TEA

bucklescript elm-architecture ocaml

Last synced: 22 Dec 2024

https://github.com/artainmo/general-programming

Notes from studying and small projects surrounding general-programming.

assembly bits c clean-code cpp ide ocaml operating-systems os python rust self-learning shell study team vim

Last synced: 22 Jan 2025

https://github.com/zshipko/ocaml-redis-module

Redis Modules in OCaml

ocaml redis

Last synced: 22 Jan 2025

https://github.com/aadhil2k4/ocaml-ray-tracer

OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"

ocaml raytracing

Last synced: 21 Nov 2024

https://github.com/awesomelistsio/awesome-ocaml

A curated list of awesome frameworks, libraries, tools, and resources for the OCaml programming language.

awesome awesome-list awesome-lists ocaml

Last synced: 28 Nov 2024

https://github.com/kawamurakazushi/monkey-ml

OCaml implementation of an interpreter for the Monkey programming language

interpreter lexer monkey ocaml parser

Last synced: 09 Jan 2025

https://github.com/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Jan 2025

https://github.com/bcc32/99

https://wiki.haskell.org/99_Haskell_exercises

exercises ocaml

Last synced: 11 Jan 2025

https://github.com/alexchang8/bs-big.js

Bucklescript bindings to big.js

bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings

Last synced: 07 Feb 2025

https://github.com/davideimola/myinterpreter

Interpreter built in OCaml

interpreter ocaml university university-project

Last synced: 22 Jan 2025

https://github.com/rizo/generics

Lightweight datatype-generic programming for OCaml.

generics library ocaml

Last synced: 27 Jan 2025

https://github.com/rishabh-agarwal/programming-system-ece-352

SDE Ocaml and Prolog Clemson University (Prolog and Ocaml)

352 clemson computer ece engineering ocaml prolog science sde university

Last synced: 28 Dec 2024

https://github.com/phthhieu/tailwind_ppx

[WIP] TailwindCSS PPX for Bucklescript/ReasonML

bucklescript ocaml reasonml tailwind tailwind-css

Last synced: 23 Jan 2025

https://github.com/richard-degenne/ocaml-textrazor

An OCaml wrapper for the TextRazor API.

nlp ocaml textrazor

Last synced: 31 Dec 2024

https://github.com/jay-es/ocaml-practice

「プログラミングの基礎」や「プログラミング in OCaml」の演習

ocaml

Last synced: 22 Dec 2024

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

my solutions to aoc in ocaml

advent-of-code-2021 ocaml

Last synced: 17 Jan 2025

https://github.com/yawaramin/wsh-bs-test

Windows Script Host / BuckleScript test

bucklescript ocaml windows-scripts

Last synced: 11 Jan 2025

https://github.com/pawannnnn/text_analyzer

ocaml

Last synced: 23 Nov 2024

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

Tetris implemented in ocaml, then ported to js

ocaml

Last synced: 24 Dec 2024

https://github.com/harmim/vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit

Last synced: 06 Feb 2025

https://github.com/mkhan45/ocaml_canvas_pong

js-of-ocaml ocaml pong

Last synced: 16 Jan 2025

https://github.com/pawannnnn/text_adventure

Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨

ocaml

Last synced: 23 Nov 2024

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

My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html

99probs ocaml

Last synced: 09 Jan 2025

https://github.com/twolodzko/loco

Lisp implemented in OCaml, Oooh!

lisp lisp-interpreter ocaml scheme scheme-interpreter

Last synced: 22 Dec 2024

https://github.com/kuy/echo.ml

Echo server written in OCaml with LWT.

echo example lwt ocaml socket

Last synced: 09 Jan 2025

https://github.com/kuy/lecho

Local Echo program written in OCaml with Core and Async.

async core echo example ocaml

Last synced: 09 Jan 2025

https://github.com/ushitora-anqou/qash2

A programming language for double-entry accounting

accounting ocaml

Last synced: 03 Jan 2025

https://github.com/jubnzv/ocaml-plugins-demo

A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.

findlib ocaml ocaml-plugin

Last synced: 02 Feb 2025

https://github.com/fourmew/aoc2024

Advent Of Code 2024 solutions in OCaml

advent-of-code advent-of-code-2024 ocaml puzzles

Last synced: 06 Feb 2025

https://github.com/owainlewis/dune-example-project

An example project using OCaml dune

ocaml

Last synced: 01 Feb 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/jeronimobarea/toml-merge

A small script written in Ocaml to merge all the toml files from a given directory

ocaml toml

Last synced: 27 Jan 2025

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/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/theteachr/aoc-2021

Solutions for AoC 2021 (OCaml)

aoc aoc2021 ocaml

Last synced: 11 Jan 2025

https://github.com/atomicptr/pathlib-ml

Experimental path library for OCaml inspired by Pythons pathlib.

ocaml ocaml-library path

Last synced: 21 Jan 2025

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

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

book graph-algorithms ocaml

Last synced: 09 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/mikaello/ocaml-libxml2

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

bindings libxml libxml2 ocaml

Last synced: 06 Feb 2025