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-02 00:21:12 UTC
- JSON Representation
https://github.com/eratio08/ads_ocaml
Algorithms & Data Structuress in OCaml
Last synced: 21 Jan 2025
https://github.com/ggsmith842/crypto-hacks
CTF challenges from the Cryptohack Cryptography course.
Last synced: 21 Jan 2025
https://github.com/j14159/alpaca-record-sketch1
Experiments to JIT simple record operations with LLVM in OCaml.
Last synced: 17 Dec 2024
https://github.com/fourmew/aoc2024
Advent Of Code 2024 solutions in OCaml
advent-of-code advent-of-code-2024 ocaml puzzles
Last synced: 13 Dec 2024
https://github.com/ryloric/bs-list
BuckleScript bindings for funkia/list
bucklescript-bindings ocaml reasonml
Last synced: 13 Dec 2024
https://github.com/eratio08/advent-of-code
yearly Advent of Coden solution attempts
advent-of-code advent-of-code-2015 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 advent-of-code-2024 elixir go kotlin ocaml
Last synced: 21 Jan 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/cgyurgyik/caml-pox
Epidemic simulation game.
epidemic epidemic-game epidemic-theory functional functional-programming game ocaml
Last synced: 16 Jan 2025
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/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/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/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/igorjakus/nomad
Numerical Optimization, Mathematics and Automatic Differentiation library in OCaml!🐫
automatic-differentiation gradient-descent mathematical-expressions mathematics numerical-methods numerical-optimization ocaml
Last synced: 19 Jan 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/lue-bird/elm-syntax-to-ocaml
transpile elm to ocaml
elm elm-syntax ocaml transpiler
Last synced: 08 Jan 2025
https://github.com/arata-nvm/tedate
✏I want to learn about functional programming.
Last synced: 08 Jan 2025
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/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-batteries
Callbags with batteries included
Last synced: 09 Nov 2024
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 18 Dec 2024
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/julgitt/prolog-implementation-in-ocaml
Prolog parser, lexer and interpreter in Ocaml
backtracking functional-programming monads ocaml prolog prolog-implementation state-monad
Last synced: 19 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/neel-dandiwala/conway-game_of_life
Conway's Game of Life is a cellular automaton devised by mathematician John Conway. It's a zero-player game, meaning that its evolution is determined by its initial state, requiring no further input. It consists of a grid of cells which, based on a few mathematical rules, can live, die, or multiply over successive generations.
Last synced: 19 Jan 2025
https://github.com/erwanlem/imp_debugger
Débogueur pour langage impératif avec inférence de type
Last synced: 19 Jan 2025
https://github.com/thehxdev/ocaml-practice
Solving some problems with 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/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 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/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/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/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/navierula/learningneverends
New Year's Resolution 2017+2018: learn new programming languages :)
Last synced: 21 Jan 2025
https://github.com/brocksam/99-camls
My solutions to the 99 exercises in OCaml
Last synced: 26 Jan 2025
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 2024
https://github.com/shroominic/ocaml-sublanguage-interpreter
This project is an interpreter written in OCaml. It interpretes a language similar to OCaml but simpler.
Last synced: 13 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/vogler/ppx_distr_guards
OCaml ppx extension to distribute guards over or-patterns (Warning 57)
Last synced: 23 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/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/b72u68/arithmetic-expressions
Simple arithmetic expression parser using Ocaml
Last synced: 20 Jan 2025
https://github.com/ceribe/memory-game
Memory game made in OCaml and Bogue
bogue game memory-game ocaml poznan-university-of-technology
Last synced: 20 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/yawaramin/gen_json_string
Utility to generate fake JSON data from a JSON Schema
Last synced: 11 Jan 2025
https://github.com/bcc32/countdown
Puzzle solvers for the Countdown game show
Last synced: 11 Jan 2025
https://github.com/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
https://github.com/atomicptr/zebang
File based script runner powered by shebang
Last synced: 21 Jan 2025
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/nicklatch/ocaml_learn_exercises
My solutions to the ocaml.org exercises
functional-programming ocaml practice
Last synced: 21 Jan 2025
https://github.com/chaarlesss/lipgloss
Style definitions for nice terminal layouts in OCaml 👄
Last synced: 25 Jan 2025
https://github.com/bitmaybewise/ocaml-playground
mirrored from https://gitlab.com/bitmaybewise/ocaml-playground
Last synced: 21 Jan 2025
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
https://github.com/veeara282/askyquiz
A quiz engine and editor implemented in OCaml. This was my group's midterm project for CS 3110.
cs3110 ocaml quiz-game quiz-maker
Last synced: 02 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/sagnikc395/functional-programming
Some Functional Programming fun in OCaml.
cs3110 functional-programming ocaml plt
Last synced: 21 Jan 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/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/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 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: 20 Jan 2025
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/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/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
Last synced: 21 Jan 2025
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/formalsec/waspc
OWI's C frontend
ocaml owi symbolic-execution wasm
Last synced: 07 Nov 2024
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/filipeom/wasm-se-bench
Benchmarking Symbolic Execution tools for Wasm
ocaml python symbolic-execution wasm
Last synced: 21 Jan 2025
https://github.com/exenon/polymorphic-variants-presentation
A short presentation about OCaml Polymorphic Variants
ocaml polymorphic-variants presentation reveal-js
Last synced: 26 Dec 2024
https://github.com/alesiong/effects-ocaml
Algebraic effects examples in OCaml
algebraic-effects effects ocaml
Last synced: 21 Jan 2025
https://github.com/jonathanjameswatson/regex_parser
OCaml parsers (not compilers!) for (limited) regular expressions
ebnf lexer lr1-parser menhir ocaml ocamllex parser recursive-descent-parser regex
Last synced: 26 Dec 2024
https://github.com/bertrand31/data-structures-reasonml
Collection of data structures implemented in ReasonML (OCaml)
functional-programming ocaml reasonml
Last synced: 26 Dec 2024
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
https://github.com/eratio08/learn-angstrom
Learning about OCaml's Angstrom lib
Last synced: 21 Jan 2025
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: 12 Jan 2025
https://github.com/mikaello/ocaml-libxml2
ocaml-libxml2 is a library for calling libxml2 functions from OCaml
Last synced: 13 Dec 2024
https://github.com/bohun9/tiger-ocaml
Tiger Compiler 🐅
ocaml tiger tiger-compiler x86-64
Last synced: 21 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
