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-09 00:21:20 UTC
- JSON Representation
https://github.com/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
Last synced: 21 Jan 2025
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/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
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
Last synced: 11 Jan 2025
https://github.com/yawaramin/gen_json_string
Utility to generate fake JSON data from a JSON Schema
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/tjade273/compling
Computational Linguistics Final Project Spring 2017
Last synced: 31 Dec 2024
https://github.com/lmarzocchetti/wangtiles-ml
Wang Tiles generator in Ocaml
functional functional-programming ml ocaml wang-tiles
Last synced: 07 Jan 2025
https://github.com/sano-jin/lambda-gt-alpha
A reference interpreter of λGT
interpreter ocaml programming-language
Last synced: 30 Jan 2025
https://github.com/navierula/learningneverends
New Year's Resolution 2017+2018: learn new programming languages :)
Last synced: 21 Jan 2025
https://github.com/diohabara/dump_ocamlformat
dump preset ocamlformat configuration
Last synced: 30 Jan 2025
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: 02 Feb 2025
https://github.com/siarie/aoc2024
Advent Of Code 2024
advent-of-code-2024 adventofcode adventofcode2024 ocaml
Last synced: 05 Feb 2025
https://github.com/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 19 Dec 2024
https://github.com/federicobruzzone/99-ocaml-problems
Implementations of the 99 problems in OCaml.
99problems functional-programming ocaml problem-solving
Last synced: 09 Nov 2024
https://github.com/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/manikupireddii/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 09 Feb 2025
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: 20 Jan 2025
https://github.com/federicobruzzone/setup-ocaml-project-without-dune
This repository provides a basic setup for an OCaml project without 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: 09 Nov 2024
https://github.com/ftovagliari/ocamlfpdf
OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.
Last synced: 06 Feb 2025
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/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
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
Last synced: 26 Jan 2025
https://github.com/justynhunter/advent-of-code-2015
Advent of Code 2015 done in Ocaml
advent-of-code-2015 advent-of-code-2015-ocaml ocaml
Last synced: 21 Jan 2025
https://github.com/mikejeuga/fonctionnelle
Just some files while I am learning
functional-programming learning ocaml
Last synced: 21 Jan 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/thehxdev/ocaml-practice
Solving some problems with Ocaml
Last synced: 21 Jan 2025
https://github.com/rdck/ocaml-module-introduction
source code for "Introduction to the OCaml Module System"
Last synced: 21 Jan 2025
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/kiranandcode/http_sig_ocaml
HTTP Signatures for OCaml
http http-signature ocaml ocaml-library
Last synced: 25 Dec 2024
https://github.com/rizo/generics
Lightweight datatype-generic programming for OCaml.
Last synced: 27 Jan 2025
https://github.com/yayuniversal/projet-ipf-s2
Functional programming project of the 2nd semester - ENSIIE
decision-trees functional-programming ocaml
Last synced: 08 Jan 2025
https://github.com/j14159/alpaca-record-sketch1
Experiments to JIT simple record operations with LLVM in OCaml.
Last synced: 09 Feb 2025
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.
Last synced: 31 Dec 2024
https://github.com/jay-es/ocaml-practice
「プログラミングの基礎」や「プログラミング in OCaml」の演習
Last synced: 22 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/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 09 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/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/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/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/risto-stevcev/bs-callbag-batteries
Callbags with batteries included
Last synced: 09 Nov 2024
https://github.com/mikaello/ocaml-libxml2
ocaml-libxml2 is a library for calling libxml2 functions from OCaml
Last synced: 06 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/risto-stevcev/bs-callbag-to-promise
Convert an async pullable source into a promise
Last synced: 09 Nov 2024
https://github.com/risto-stevcev/bs-callbag-last
Creates a callbag containing only the last signal from the given stream
Last synced: 09 Nov 2024
https://github.com/arata-nvm/tedate
✏I want to learn about functional programming.
Last synced: 08 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/hoddy3190/ocamlformat-vscode-extension
VSCode extension - simple wrapper for ocamlformat command
ocaml ocamlformat vscode vscode-extension
Last synced: 09 Jan 2025
https://github.com/isaac-defrain/apalache-interface
Interface files for the Apalache symbolic model checker reminiscent of OCaml
Last synced: 08 Feb 2025
https://github.com/algojobs/ocaml-jobs
The latest OCaml jobs, updated weekly.
jobs jobsearch ocaml software-engineering
Last synced: 21 Jan 2025
https://github.com/ryloric/bs-list
BuckleScript bindings for funkia/list
bucklescript-bindings ocaml reasonml
Last synced: 06 Feb 2025
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 06 Feb 2025
https://github.com/mk-fg/ghg
Simple command-line NaCl/libsodium file encryption tool
cli cryptography nacl ocaml security tool
Last synced: 07 Jan 2025
https://github.com/dhil/google-tech-talk-2018
Materials for my Google Tech Talk 2018
concurrency effect-handlers effects ocaml
Last synced: 17 Dec 2024
https://github.com/maxm33/minicaml-interpreter
An interpreter written in Java that understands a subset of OCaml instructions.
Last synced: 21 Jan 2025
https://github.com/juniforge/nmap_xml_parser
A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.
Last synced: 30 Dec 2024
https://github.com/rodrigooler/react-native-reason
Wonderful boilerplate using Reason with react-native
javascript ocaml react react-native react-native-reason reason yarn
Last synced: 21 Jan 2025
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 23 Jan 2025
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 18 Dec 2024
https://github.com/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 Jan 2025
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/ahnineamine/log-analysis-api
OCaml-based REST API designed to process, analyze, and transform log data
dune functional-programming ocaml
Last synced: 04 Feb 2025
https://github.com/savonet/ocaml-pipewire
OCaml bindings to the PipeWire library.
Last synced: 04 Feb 2025
https://github.com/puripuri2100/xml2saty
This software converts xml file to SATySFi's document file.
ocaml opam satysfi satysfi-document xml xml2saty
Last synced: 29 Dec 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/dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Last synced: 21 Jan 2025
https://github.com/aadhil2k4/ocaml-ray-tracer
OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"
Last synced: 21 Nov 2024
https://github.com/viet281101/minic-misp_compiler
A small language compiler in Ocaml, translates MiniC syntax into MISP and runs
Last synced: 21 Dec 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
