Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
- GitHub: https://github.com/topics/ocaml
- Wikipedia: https://en.wikipedia.org/wiki/OCaml
- Repo: https://github.com/ocaml/ocaml
- Created by: Xavier Leroy
- Released: 1996
- Last updated: 2025-02-04 00:21:23 UTC
- JSON Representation
https://github.com/squiddev/omnomnom
An OCaml test runner inspired by Tasty
Last synced: 03 Feb 2025
https://github.com/gfngfn/poly-shift-reset
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
continuation delimited-continuation ocaml polymorphic-types type-checker type-system
Last synced: 15 Jan 2025
https://github.com/matrixai/ocaml-demo
OCaml Demo Project
ocaml ocaml-library ocaml-program
Last synced: 24 Jan 2025
https://github.com/reasonocamlindia/dream-web-server-sessions
Dream web server coded live at reason-bangalore.org sessions
Last synced: 12 Oct 2024
https://github.com/eignnx/fauxcaml
A (not so great) Python implementation of OCaml
compiler nasm-assembly ocaml programming-language python37 x86-64
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).
Last synced: 20 Dec 2024
https://github.com/theovidal/study-projects
👨🎓 All work and projects I made for school
arduino ocaml physics school-project studies
Last synced: 05 Dec 2024
https://github.com/ocaml-dune/binary-distribution
A web page for dune binary distribution
Last synced: 17 Oct 2024
https://github.com/smimram/cccatt
A type theory for unbiased cartesian closed categories.
cartesian-closed-category lambda-calculus ocaml type-theory unbiased
Last synced: 22 Oct 2024
https://github.com/narimiran/adventofcode2019
My OCaml solutions for Advent of Code 2019
advent advent-of-code advent-of-code-2019 adventofcode adventofcode2019 functional functional-programming ocaml
Last synced: 24 Jan 2025
https://github.com/isaac-defrain/todo
Todo list application built to explore different features of the OCaml language
functional-programming functors modules ocaml
Last synced: 15 Dec 2024
https://github.com/frectonz/advent_of_code_2022
Solutions for advent of code 2022
advent-of-code advent-of-code-2022 elm golang ocaml rust
Last synced: 14 Jan 2025
https://github.com/kkazuo/azblob
A trivial Azure Blob Storage interface for OCaml
Last synced: 16 Jan 2025
https://github.com/tobil4sk/pcre2-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
Last synced: 17 Nov 2024
https://github.com/ncvescera/colored_camel
Progetto per Artificial Intelligent Systems, Colorazione di un Grafo attraverso algoritmo di ricerca in Ampiezza
bfs-algorithm coloring-graph graph ocaml
Last synced: 10 Dec 2024
https://github.com/tmcgilchrist/ocaml-jack
QuickCheck with shrinking for free
ocaml property-based-testing property-testing quickcheck test testing
Last synced: 21 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/cheukchuen/go-to-wasm
Golang to WebAssembly compiler written in OCaml
compiler-design golang ocaml webassembly
Last synced: 11 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/richeyryan/reason-projects
A collection of projects written in Reason
bucklescript js nodejs ocaml reason reasonml
Last synced: 03 Feb 2025
https://github.com/vit0rr/chicken
Chicken is a toy programming language in OCaml because I want to learn OCaml
chicken compiler lexer ocaml parser parsing programming-language
Last synced: 02 Feb 2025
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/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/dlesbre/kotlin-compiler
Compiler for a simple fragment of kotlin
Last synced: 20 Dec 2024
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
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/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: 10 Dec 2024
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/mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Last synced: 29 Jan 2025
https://github.com/marekjm/real-world-ocaml-code
Code written while reading "Real World OCaml" (with examples updated to newer Core)
Last synced: 02 Feb 2025
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/mbarbin/dune-rpc-eio
Communicate with dune using rpc and Eio
Last synced: 11 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/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/mbarbin/provider
Dynamic Dispatch with Traits
dynamic-dispatch ocaml parametrization trait
Last synced: 12 Oct 2024
https://github.com/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Jan 2025
https://github.com/kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Last synced: 25 Dec 2024
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/unikraft/lib-ocaml
OCaml runtime library
library ocaml unikraft unikraft-library
Last synced: 19 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/mitchellgray100/uno
Ocaml terminal based Uno Game.
ai ocaml terminal-based terminal-game uno uno-game
Last synced: 31 Jan 2025
https://github.com/speedcell4/tiger-book
modern compiler implementation in OCaml
Last synced: 06 Jan 2025
https://github.com/formalsec/ocaml-cvc5
OCaml bindings for the cvc5 SMT solver
Last synced: 18 Dec 2024
https://github.com/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 11 Jan 2025
https://github.com/delciokelson/chat_ocaml
A chat written in ocaml using the lwt library
Last synced: 21 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
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: 12 Oct 2024
https://github.com/teenbiscuits/practicas-pp
Prácticas de la asignatura Paradigmas de la Programación en OCaml
Last synced: 11 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/sanette/tsdl-ttf
SDL2_ttf bindings for Ocaml with Tsdl
ocaml ocaml-bindings sdl2 sdl2-ttf ttf
Last synced: 22 Jan 2025
https://github.com/kuy/parseco
Learning parser combinators in OCaml + Core.
Last synced: 09 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/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.
Last synced: 12 Jan 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/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/gustavodiasag/simpler
Interpreter for a functional, expression-based programming language
functional-programming interpreter lambda-calculus ocaml programming-language
Last synced: 14 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/blaketarter/reticky-tacky
A game of tic-tac-toe built with reprocessing.
game ocaml reasonml tic-tac-toe
Last synced: 26 Dec 2024
https://github.com/kuy/today-anime
I can't keep in mind a day of the week of my favorite animes' broadcast 😇
Last synced: 09 Jan 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/tanishiking/tiger
[WIP] Tiger language implementation in OCaml (Work in Progress).
Last synced: 26 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/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/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/arc-hugo/debt_calculator
Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.
flow ford-fulkerson-algorithm functional-programming graph ocaml
Last synced: 24 Jan 2025
https://github.com/nwaywood/the-super-tiny-compiler-ocaml
Implementation of The Super Tiny Compiler in OCaml
Last synced: 23 Dec 2024
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/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/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/jchavarri/jsoo-is-sorted
Js_of_ocaml bindings to JavaScript library is-sorted
Last synced: 29 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/prawater/monkey_interpreter.ml
Tree walking interpreter written in OCaml
Last synced: 01 Feb 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/sano-jin/dhl-alpha
A minimal compiler and runtime for a language based on graph rewriting
compiler interpreter ocaml programming-language
Last synced: 30 Jan 2025
https://github.com/imandra-ai/abstract-transition-systems
[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
cdcl dpll-algorithm formalization ocaml sat smt
Last synced: 22 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/haerfest/bubble-universe
Bubble Universe in Lua and OCaml
bubble-universe love-framework lua ocaml stardot
Last synced: 21 Jan 2025
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/FraMecca/ffbench
test different ffmpeg trascoding settings
ffmpeg ocaml org-mode python transcode transcoding
Last synced: 25 Nov 2024
https://github.com/zsc/jasmine
A distributed make in JoCaml
distributed-computing jocaml ocaml
Last synced: 13 Jan 2025
https://github.com/smimram/collage
Make photo collages (to print photobooks).
Last synced: 18 Dec 2024