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-01-11 00:16:58 UTC
- JSON Representation
https://github.com/maolonglong/bogoscheme
A subset of Scheme
menhir ocaml ocamllex repl scheme scheme-interpreter
Last synced: 26 Dec 2024
https://github.com/marekjm/real-world-ocaml-code
Code written while reading "Real World OCaml" (with examples updated to newer Core)
Last synced: 07 Dec 2024
https://github.com/elzibus/ocaban
Sokoban game in OCaml
game ocaml ocaml-canvas sokoban
Last synced: 14 Nov 2024
https://github.com/tategakibunko/ocorm
helper functor module to map some table rows into other object like json.
Last synced: 13 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/jfeser/ocaml-cmph
Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
hashing mphf ocaml perfect-hash
Last synced: 16 Nov 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/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 12 Nov 2024
https://github.com/kkazuo/bs-gcloud
Google Cloud Datastore bindings of BuckleScript.
bucklescript-bindings google-cloud ocaml
Last synced: 15 Nov 2024
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/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
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/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 18 Nov 2024
https://github.com/kaawan-d20/dpf-2024-binarytree
🐫 Code OCaml du projet de Programmation Fonctionnelle de L2S4
binary-tree functional-programming ocaml university-project
Last synced: 07 Dec 2024
https://github.com/ftovagliari/ocamlfpdf
OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.
Last synced: 12 Dec 2024
https://github.com/ushitora-anqou/mahout
A K8s operator for Mastodon, written in OCaml and model checked by NuSMV.
docker kubernetes mastodon nusmv ocaml
Last synced: 18 Dec 2024
https://github.com/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024
https://github.com/amillert/camodular
Ocaml interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.
functional-programming menhir ocaml parser sedlex
Last synced: 13 Nov 2024
https://github.com/mmottl/ocaml-playground
This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.
Last synced: 05 Jan 2025
https://github.com/esy-ocaml/esy-ocaml.github.io
Umbrella website for Esy OCaml Projects
Last synced: 28 Dec 2024
https://github.com/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Nov 2024
https://github.com/applejag/adventofcode-2024-ocaml
My attempt at Advent of Code 2024 using OCalm https://adventofcode.com/2024
advent-of-code advent-of-code-2024 advent-of-code-ocaml ocaml
Last synced: 02 Dec 2024
https://github.com/gfngfn/lambda-next-box
code-generation interpreter metaprogramming ocaml type-checker type-system
Last synced: 15 Nov 2024
https://github.com/roguh/clox
Lox interpreter written in OCaml by Hugo O. Rivera Calzadillas.
dune interpreter lox menhir ocaml
Last synced: 27 Nov 2024
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: 16 Nov 2024
https://github.com/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 02 Dec 2024
https://github.com/rootmos/wwwo
My continuation-passing style static website generator written in OCaml
Last synced: 28 Nov 2024
https://github.com/keturiosakys/advent-of-code
Watch me write some bad Rust, OCaml code
Last synced: 29 Nov 2024
https://github.com/phthhieu/tailwind_ppx
[WIP] TailwindCSS PPX for Bucklescript/ReasonML
bucklescript ocaml reasonml tailwind tailwind-css
Last synced: 23 Nov 2024
https://github.com/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 19 Dec 2024
https://github.com/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 02 Dec 2024
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/diohabara/pl
a programming language
ocaml opam programming-language
Last synced: 02 Dec 2024
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/ncs-pl/query-tree
Projet de Programmation Fonctionnelle, UFR ST Orléans 2024
Last synced: 29 Sep 2024
https://github.com/vit0rr/lexical_analysis
Lexical analysis interpreter step in OCaml
functional-programming lexer lexical-analysis ocaml
Last synced: 28 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/sauzeauyannis/ls-projet
An interpreter for an imperative language and a Hoare logic prover
coq hoare-logic imperative-language interpreter ocaml prover school-project
Last synced: 27 Sep 2024
https://github.com/jamessouth/portfolio
my portfolio
bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss
Last synced: 14 Dec 2024
https://github.com/vendethiel/translator-backend.ocaml
Backend to Translator using Ocaml + Dream
dream lwt ocaml ocaml-dream ocaml-lwt
Last synced: 28 Nov 2024
https://github.com/rizo/generics
Lightweight datatype-generic programming for OCaml.
Last synced: 28 Nov 2024
https://github.com/isaac-defrain/multi-client-server
A multi-client server for a simple shared ledger written in OCaml
Last synced: 15 Dec 2024
https://github.com/eliasgit2017/proofbox
Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs
alt-ergo coq docker docker-container ocaml smt-solver
Last synced: 24 Dec 2024
https://github.com/tmcgilchrist/ocaml-bitbucket
OCaml library for bitbucket API
Last synced: 12 Oct 2024
https://github.com/samwson/monkey-lang-in-ocaml
A simple interpreted language for learning purposes.
interpreted-programming-language ocaml
Last synced: 28 Nov 2024
https://github.com/ryloric/bucklescript-fluture
BuckleScript bindings for fluture-js
bucklescript bucklescript-bindings ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/gabyfle/soundml
A little and very high level library to perform basic operations on audio files in the OCaml language
audio-processing ffmpeg ocaml owl
Last synced: 12 Oct 2024
https://github.com/atomicptr/zebang
File based script runner powered by shebang
Last synced: 12 Oct 2024
https://github.com/richard-degenne/ocaml-textrazor
An OCaml wrapper for the TextRazor API.
Last synced: 31 Dec 2024
https://github.com/jay-es/ocaml-practice
「プログラミングの基礎」や「プログラミング in OCaml」の演習
Last synced: 22 Dec 2024
https://github.com/atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Last synced: 12 Oct 2024
https://github.com/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
https://github.com/ggsmith842/crypto-hacks
CTF challenges from the Cryptohack Cryptography course.
Last synced: 12 Oct 2024
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 19 Nov 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: 27 Dec 2024
https://github.com/red-rapious/ocaml-cas
A basic Computer Algebra System (CAS) made in OCaml
cas computer-algebra-system ocaml
Last synced: 12 Nov 2024
https://github.com/sigmachirality/denpa
Website for Denpa: An Otaku Podcast.
anime bucklescript javascript ocaml reason-react reasonml website
Last synced: 19 Dec 2024
https://github.com/eratio08/pars-comb-ml
Monadic parsing in OCaml
monadic ocaml parser parser-combinators parsing
Last synced: 12 Oct 2024
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 12 Oct 2024
https://github.com/lamg/twitter_scanner
Stores tweets and user profiles in an Sqlite DB.
Last synced: 25 Dec 2024
https://github.com/dimeeentor/university-disrete-math
Projects for my university for Discrete Mathematics course.
Last synced: 12 Oct 2024
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: 12 Oct 2024
https://github.com/vshender/advent-of-code
My solutions to the Advent of Code problems.
advent-of-code competitive-programming ocaml
Last synced: 13 Dec 2024
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: 12 Oct 2024
https://github.com/isaac-defrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Last synced: 15 Dec 2024
https://github.com/domai-tb/functional-programming-ss24
Exercise solution for the course "Functional Programming" af summer semester 2024
Last synced: 12 Oct 2024
https://github.com/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 12 Oct 2024
https://github.com/filipeom/wasm-se-bench
Benchmarking Symbolic Execution tools for Wasm
ocaml python symbolic-execution wasm
Last synced: 12 Oct 2024
https://github.com/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
Last synced: 12 Oct 2024
https://github.com/narekhovhannisyan/introduction-to-ocaml
Introduction to oCaml -> https://youtu.be/yKlcIUQ7168
for ocaml presentation public sceptics talk video
Last synced: 01 Jan 2025
