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/erwanlem/projet_pfa
Création d'un jeu 2D type platformer utilisant le modèle ECS
Last synced: 13 Nov 2024
https://github.com/gabrielhdt/ocspbt
Constraint satisfaction problem solver in ocaml using backtrack methods -- moved to gitlab
csp-solver ocaml queens-problem sudoku
Last synced: 10 Dec 2024
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/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/qbarrand/ensiie-iprf-quadtree
An academic project about collision detection to learn the quadtree data structure and functional programming
ensiie functional functional-programming iprf ocaml quadtree
Last synced: 28 Sep 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/siarie/aoc2024
Advent Of Code 2024
advent-of-code-2024 adventofcode adventofcode2024 ocaml
Last synced: 12 Dec 2024
https://github.com/kuy/99-ocaml-problems
My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html
Last synced: 09 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/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/petetnt/advent-of-code-2017-reasonml
Advent of Code 2017 with ReasonML
advent-of-code advent-of-code-2017 functional-programming ocaml reasonml
Last synced: 10 Dec 2024
https://github.com/mackenziestarr/advent-of-code
advent of code exercises
advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 cpp ocaml rust
Last synced: 03 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/vshender/nats.ml
OCaml client for NATS, the cloud native messaging system.
Last synced: 19 Dec 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: 12 Dec 2024
https://github.com/jgaehring/cletus
A cross-platform, local-first markdown editor built with Revery. (WORK IN PROGRESS)
desktop local-first ocaml reasonml revery
Last synced: 29 Dec 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/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/nickzuber/ocaml-exercises
Some exercises I've done in OCaml to help practice and learn the language.
ocaml ocaml-exercises practice
Last synced: 13 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: 13 Dec 2024
https://github.com/susji/opl
Toy compiler for PL/0, emits x86-64 assembly for Linux
Last synced: 14 Dec 2024
https://github.com/bcc32/countdown
Puzzle solvers for the Countdown game show
Last synced: 11 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/claby2/aoc
🎄 Solutions for Advent of Code
2023 2024 advent-of-code ocaml
Last synced: 19 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/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/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/qnighy/advanced-programming-languages-report-ltl
algorithm automata logic ocaml temporal-logic
Last synced: 13 Dec 2024
https://github.com/lemoineat/grunt-of-ocamlbuild
Compile OCaml code to JavaScript with grunt, ocamlbuild and js_of_ocaml
grunt javascript js-of-ocaml ocaml ocamlbuild
Last synced: 09 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/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/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/lemoineat/grunt-ocamlbuild
Use ocamlbuild to compile some OCaml code with grunt
grunt javascript ocaml ocamlbuild
Last synced: 16 Dec 2024
https://github.com/lamg/twitter_scanner
Stores tweets and user profiles in an Sqlite DB.
Last synced: 25 Dec 2024
https://github.com/j14159/ppx_test_match
PPX rewriter to test pattern matches.
Last synced: 17 Dec 2024
https://github.com/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 13 Nov 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/tsaidavid/exercism
algorithms exercism exercism-javascript javascript ocaml reason reasonml
Last synced: 17 Dec 2024
https://github.com/the-altitude-attitude/ground-control-station
WIP final project for CS 3110.
Last synced: 18 Dec 2024
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 19 Nov 2024
https://github.com/jonathanjameswatson/earley_parser
Earley parser for context-free grammars
dune earley-parser ocaml parser
Last synced: 26 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/alexchang8/tetris-caml
Tetris implemented in ocaml, then ported to js
Last synced: 24 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/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/uncomputable/expressive-wallet
What is a minimal wallet of coins that can express all amounts below a target?
coq formal-verification maths maths-problem ocaml theorem-proving
Last synced: 24 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/w-henderson/humphreyjr
🐪 The Performance-Focused, Dependency-Free Web Server, now in OCaml. (WIP)
http http-server ocaml web-framework web-server
Last synced: 14 Nov 2024
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 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: 12 Jan 2025
https://github.com/rastreus/ocaml-book-club
Working through OCaml Books... for Fun!
bookclub education learning ocaml
Last synced: 28 Dec 2024
https://github.com/dylf/advent-of-code
🎄My Advent of Code Solutions🎄
advent-of-code advent-of-code-2022 advent-of-code-2023 ocaml rust
Last synced: 26 Dec 2024
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/rodrigooler/react-native-reason
Wonderful boilerplate using Reason with react-native
javascript ocaml react react-native react-native-reason reason yarn
Last synced: 21 Nov 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/lmarzocchetti/wangtiles-ml
Wang Tiles generator in Ocaml
functional functional-programming ml ocaml wang-tiles
Last synced: 07 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/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
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/code-help-tutor/ocaml-parser
OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 12 Oct 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/lue-bird/elm-syntax-to-ocaml
transpile elm to ocaml
elm elm-syntax ocaml transpiler
Last synced: 08 Jan 2025
https://github.com/neurocorgi/vm_challenge
Synacor vm challenge solution in Ocaml
Last synced: 29 Sep 2024
https://github.com/mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
command-line ocaml ocaml-library parser ppx-deriver
Last synced: 12 Oct 2024
https://github.com/ceribe/memory-game
Memory game made in OCaml and Bogue
bogue game memory-game ocaml poznan-university-of-technology
Last synced: 19 Nov 2024
https://github.com/j-christl/ocaml-havelhakimi
Functional implementation of the Havel-Hakimi algorithm in OCaml
discrete-mathematics functional-programming graph-theory havel-hakimi-algorithm ocaml
Last synced: 23 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/arata-nvm/tedate
✏I want to learn about functional programming.
Last synced: 08 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/maelvls/maelvls
My GitHub README.md available at https://github.com/maelvls
engineer go kubernetes ocaml readme-profile
Last synced: 24 Nov 2024
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/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 go kotlin ocaml
Last synced: 20 Nov 2024
https://github.com/faber-1/parsite
A micro library for simple parsing combinators.
dune ocaml parsing-combinators parsing-library string
Last synced: 12 Oct 2024
https://github.com/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 07 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/code-help-tutor/ocaml-parser-hw9
OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 12 Oct 2024
https://github.com/mungasoftwiz/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 12 Oct 2024
