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: 13 Dec 2024

https://github.com/cedlemo/ocaml-bsonc

Ctypes bindings to libbson for OCaml

bson ctypes-bindings libbson libmongoc mongo ocaml ocaml-bsonc

Last synced: 12 Dec 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/kuy/parseco

Learning parser combinators in OCaml + Core.

core ocaml parser-combinators

Last synced: 09 Jan 2025

https://github.com/nuiipointerexception/nvim

❄️ fast and minimal neovim config.

neovim-config nvim ocaml rust typescript zig

Last synced: 21 Dec 2024

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: 07 Dec 2024

https://github.com/kuy/perceptron

ocaml perceptron slap

Last synced: 09 Jan 2025

https://github.com/richeyryan/reason-projects

A collection of projects written in Reason

bucklescript js nodejs ocaml reason reasonml

Last synced: 20 Jan 2025

https://github.com/meta-inf/mlc

[O]Caml compiler

compiler functional-programming ocaml

Last synced: 12 Jan 2025

https://github.com/kalongn/cse-216

Programming Abstraction (College Class).

functional-programming generic java ocaml python recursion type-hierarchies

Last synced: 11 Dec 2024

https://github.com/xnyo/minicaml

PR2B@unipi 2019-2020

ocaml

Last synced: 28 Dec 2024

https://github.com/isaac-defrain/node-debugger

Interactive node simulator for TLA+ specification of Tezos p2p

ocaml tezos tezos-node tla tlaplus

Last synced: 15 Dec 2024

https://github.com/bobzhang/bucklescript-have-tea

bucklescript javascript ocaml

Last synced: 21 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: 19 Dec 2024

https://github.com/monkeyjunglejuice/monkeyjunglejuice.github.io

My personal blog about learning programming and other things I'm interested in :D

beginner beginner-friendly beginners-guide common-lisp emacs learn-to-code learning-notes lisp ocaml tutorials

Last synced: 13 Jan 2025

https://github.com/davideluque/ocaml-calc

OCaml implementation of a lexical analyzer, a syntactic analyzer, and a simple interpreter to simulate a table calculator.

ci3641 ocaml universidad-simon-bolivar usbve

Last synced: 08 Jan 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/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

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/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/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/solarliner/ml-difflist

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 19 Dec 2024

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/FraMecca/ffbench

test different ffmpeg trascoding settings

ffmpeg ocaml org-mode python transcode transcoding

Last synced: 25 Nov 2024

https://github.com/sim642/ppx_deriving_hash

[@@deriving hash]

hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib

Last synced: 17 Dec 2024

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/azur1s/ichor

ML-like language for the backend (WIP)

backend javascript ocaml programming-language

Last synced: 26 Jan 2025

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

https://github.com/federicobruzzone/software-foundations

Solutions (in Coq) of the exercises in the software foundation books.

coq coq-library functional-programming ocaml software-foundations

Last synced: 10 Oct 2024

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/tategakibunko/ocaml-mjlib

ocaml mahjong library

game mahjong ocaml

Last synced: 12 Jan 2025

https://github.com/radionoisee/bd

Bangumi scraper for bilibili.

bangumi bilibili downloader ocaml

Last synced: 09 Jan 2025

https://github.com/haerfest/bubble-universe

Bubble Universe in Lua and OCaml

bubble-universe love-framework lua ocaml stardot

Last synced: 21 Jan 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/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/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/kiranandcode/ocaml-pug

Pug(lite) parser & compiler in OCaml

html ocaml pug

Last synced: 25 Dec 2024

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/nwaywood/the-super-tiny-compiler-ocaml

Implementation of The Super Tiny Compiler in OCaml

compiler ocaml

Last synced: 23 Dec 2024

https://github.com/gauben/bcotp

Big Cities on Tiny Planets: Definitive Edition

city-builder game ocaml

Last synced: 11 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/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 06 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/unixjunkie/diskuv-ocaml

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

ocaml windows

Last synced: 04 Dec 2024

https://github.com/jchavarri/bs-playground-bundler

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

bucklescript ocaml reasonml

Last synced: 18 Dec 2024

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/paurkedal/ppx_compose

Composition Inlining for OCaml

combinator function-composition ocaml optimization ppx-rewriter

Last synced: 20 Jan 2025

https://github.com/levichu51/pp-practicas-teoria-23-24

Prácticas de la asignatura de Paradigmas de la Programación UDC 23/24

funcional-programming ocaml udc university

Last synced: 21 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/atomicptr/zebang

File based script runner powered by shebang

ocaml script-runner

Last synced: 21 Jan 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/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

Last synced: 21 Jan 2025

https://github.com/dimeeentor/university-disrete-math

Projects for my university for Discrete Mathematics course.

ocaml university-project

Last synced: 21 Jan 2025

https://github.com/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 21 Jan 2025

https://github.com/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

https://github.com/mtoohey31/ppx_cmd

Declarative command line parsing for OCaml with `@@deriving`.

command-line ocaml ocaml-library parser ppx-deriver

Last synced: 21 Jan 2025

https://github.com/mungasoftwiz/braincaml

An OCaml-based interpreter for the Brainf*ck esoteric programming language.

brainfuck functional-programming ocaml ocaml-program

Last synced: 21 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/maxrn/locksmith

Easily convert between export formats of different password managers for migration.

ocaml password-manager

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/domai-tb/functional-programming-ss24

Exercise solution for the course "Functional Programming" af summer semester 2024

functional-programming ocaml

Last synced: 21 Jan 2025

https://github.com/mbarbin/doc-experiment-docusaurus

Experimenting with docusaurus+odoc

docusaurus ocaml ocaml-mdx odoc

Last synced: 21 Jan 2025

https://github.com/mohcineproject/expr-compiler-and-pfx-virtual-machine

An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).

dune menhir ocaml ocamllex

Last synced: 21 Jan 2025

https://github.com/omnisci3nce/ocaml-rpg

Visualisation and rendering toolkit focusing on 3D and ease of use.

3d-graphics 3d-visualization ocaml rendering

Last synced: 21 Jan 2025

https://github.com/elzibus/ocaml-code-snippets

Short OCaml code snippets

ocaml

Last synced: 21 Jan 2025

https://github.com/sreecharanv/tokenization-and-categorization-using-ocaml-a-lexical-analysis-approach

An OCaml-based lexical analyzer that identifies and classifies tokens such as identifiers, operators, punctuation symbols, integer literals, and keywords. The project involves tokenizing input text, categorizing tokens, and printing them with their respective categories. Key functions include tokenize, is_alnum, is_punctuation, and print_tokens.

lexical-analysis lexical-analyzer ocaml ocaml-program tokenization

Last synced: 21 Jan 2025

https://github.com/minsoo-web/ocaml-exercise

exercise ocaml

Last synced: 28 Jan 2025

https://github.com/code-help-tutor/ocaml-parser

OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]

ocaml

Last synced: 21 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/code-help-tutor/ocaml-parser-hw9

OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]

hw9 ocaml

Last synced: 21 Jan 2025

https://github.com/kkazuo/slack_rtm

Slack RTM for OCaml

ocaml slack

Last synced: 16 Jan 2025

https://github.com/kkazuo/pdfinfo

A wrapper around the pdfinfo command

ocaml pdf

Last synced: 16 Jan 2025

https://github.com/pombadev/pkgman

ocaml

Last synced: 16 Jan 2025

https://github.com/faber-1/parsite

A micro library for simple parsing combinators.

dune ocaml parsing-combinators parsing-library string

Last synced: 21 Jan 2025

https://github.com/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 25 Dec 2024

https://github.com/bohun9/tiger-ocaml

Tiger Compiler 🐅

ocaml tiger tiger-compiler x86-64

Last synced: 21 Jan 2025

https://github.com/eratio08/learn-angstrom

Learning about OCaml's Angstrom lib

angstrom monkey-lang ocaml

Last synced: 21 Jan 2025

https://github.com/alesiong/effects-ocaml

Algebraic effects examples in OCaml

algebraic-effects effects ocaml

Last synced: 21 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/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/mkhan45/ocaml_canvas_pong

js-of-ocaml ocaml pong

Last synced: 16 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/filipeom/wasm-se-bench

Benchmarking Symbolic Execution tools for Wasm

ocaml python symbolic-execution wasm

Last synced: 21 Jan 2025

https://github.com/marindereggi/ocaml-linda

Tuple Space-Based Parallel Programming in OCaml

linda ocaml ocaml-library ocaml-multicore parallel-programming tuplespace

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: 15 Dec 2024

https://github.com/eratio08/typeclassopedia-ml

ocaml

Last synced: 21 Jan 2025

https://github.com/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 15 Dec 2024

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/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 15 Dec 2024

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/sagnikc395/functional-programming

Some Functional Programming fun in OCaml.

cs3110 functional-programming ocaml plt

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/sagnikc395/project-euler

Project Euler Solutions.

effect ocaml project-euler

Last synced: 21 Jan 2025

https://github.com/nicklatch/ocaml_learn_exercises

My solutions to the ocaml.org exercises

functional-programming ocaml practice

Last synced: 21 Jan 2025

https://github.com/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 Jan 2025

https://github.com/yawaramin/gen_json_string

Utility to generate fake JSON data from a JSON Schema

json json-schema ocaml

Last synced: 11 Jan 2025

https://github.com/armanddidierjean/tipe-interpreteur-pour-le-langage-ocaml

Projet d'implémentation d'un interpréteur dans le cadre du TIPE

ast grammar interpreter language ocaml

Last synced: 07 Jan 2025

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

Bucklescript bindings to big.js

bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings

Last synced: 14 Dec 2024

https://github.com/smercer10/camelot

WIP OCaml chess engine.

chess-engine ocaml

Last synced: 21 Jan 2025

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

ocaml real-world-ocaml

Last synced: 06 Jan 2025