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/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/kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Last synced: 25 Dec 2024
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
Last synced: 31 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/gauben/bcotp
Big Cities on Tiny Planets: Definitive Edition
Last synced: 11 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/azur1s/ichor
ML-like language for the backend (WIP)
backend javascript ocaml programming-language
Last synced: 26 Jan 2025
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/solarliner/ml-difflist
Differential list implementation in OCaml
Last synced: 19 Dec 2024
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/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/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/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/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/elliottcable/bs-slash-create
ReScript / BuckleScript bindings to the slash-create library for Discord commands
bucklescript bucklescript-bindings discord discord-js javascript ocaml ocaml-bindings slash-commands
Last synced: 19 Dec 2024
https://github.com/meta-inf/mlc
[O]Caml compiler
compiler functional-programming ocaml
Last synced: 12 Jan 2025
https://github.com/dpbm/testing-ocaml
testing ocaml language
ocaml ocaml-language ocaml-lernaing ocaml-program testing-language testing-new-programming-language
Last synced: 19 Jan 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/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/dlesbre/kotlin-compiler
Compiler for a simple fragment of kotlin
Last synced: 20 Dec 2024
https://github.com/paurkedal/spreadsheet-demo
An FRP Experiment
eliom experimental ocaml ocsigen
Last synced: 20 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/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/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/kkazuo/bs-gcloud
Google Cloud Datastore bindings of BuckleScript.
bucklescript-bindings google-cloud ocaml
Last synced: 16 Jan 2025
https://github.com/mbarbin/provider
Dynamic Dispatch with Traits
dynamic-dispatch ocaml parametrization trait
Last synced: 12 Oct 2024
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/sim642/ppx_deriving_hash
[@@deriving hash]
hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 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/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 30 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/bcc32/tap
Test Anything Protocol for OCaml
ocaml perl prove tap test-anything-protocol testing
Last synced: 11 Jan 2025
https://github.com/unikraft/lib-ocaml
OCaml runtime library
library ocaml unikraft unikraft-library
Last synced: 19 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/radionoisee/bd
Bangumi scraper for bilibili.
bangumi bilibili downloader ocaml
Last synced: 09 Jan 2025
https://github.com/jchavarri/bs-playground-bundler
Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts
Last synced: 18 Dec 2024
https://github.com/gourab337/ocaml-ihho
An OCaml implementation of the paper https://www.researchgate.net/project/Improved-Harris-Hawk-Optimization
feature-selection metaheuristic-optimisation ocaml
Last synced: 22 Jan 2025
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 Dec 2024
https://github.com/gabryon99/imp
IMP is a small imperative programming language.
imperative menhir ocaml ocamllex programming-language semantics
Last synced: 28 Dec 2024
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/maxime-cllt/osmium
Compression d'image JPEG avec la Singular Value Decomposition (SVD)
compress-images gsvd image-processing ocaml svd
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/jpleboeuf/exercism_ocaml
My solutions to the exercises from the OCaml track on Exercism.
exercism exercism-solutions exercism-track ocaml
Last synced: 20 Jan 2025
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: 04 Feb 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/monkeyjunglejuice/emacs.ontop
Mission: Providing a great user experience in Emacs for various programming languages.
common-lisp elixir emacs emacs-setup emacs-starter-kit haskell julia ocaml racket
Last synced: 13 Jan 2025
https://github.com/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 Jan 2025
https://github.com/aleksrutins/reason-template
An extremely bare-bones Reason + Esy template.
Last synced: 20 Jan 2025
https://github.com/cxa/oasis-mode
major-mode for editing OCaml _oasis files
Last synced: 12 Jan 2025
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024
https://github.com/keturiosakys/advent-of-code
Watch me write some bad Rust, OCaml code
Last synced: 28 Jan 2025
https://github.com/anupvarghese/reason-react
javascript ocaml reason reasonml
Last synced: 25 Dec 2024
https://github.com/neal-c/hello-ocaml
A playground for curiosity, fun and very deep personal notes
Last synced: 02 Feb 2025
https://github.com/tmcgilchrist/ocaml-bitbucket
OCaml library for bitbucket API
Last synced: 21 Jan 2025
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/ryloric/bucklescript-fluture
BuckleScript bindings for fluture-js
bucklescript bucklescript-bindings ocaml reasonml
Last synced: 21 Jan 2025
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: 21 Jan 2025
https://github.com/atomicptr/zebang
File based script runner powered by shebang
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/dimeeentor/university-disrete-math
Projects for my university for Discrete Mathematics course.
Last synced: 21 Jan 2025
https://github.com/cosmicboots/ipcf
Intensional PCF interpreter
intensonality interpreter lambda-calculus ocaml
Last synced: 21 Jan 2025
https://github.com/mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
command-line ocaml ocaml-library parser ppx-deriver
Last synced: 21 Jan 2025
https://github.com/mungasoftwiz/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 21 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/atomicptr/pathlib-ml
Experimental path library for OCaml inspired by Pythons pathlib.
Last synced: 21 Jan 2025
https://github.com/maxrn/locksmith
Easily convert between export formats of different password managers for migration.
Last synced: 21 Jan 2025
https://github.com/domai-tb/functional-programming-ss24
Exercise solution for the course "Functional Programming" af summer semester 2024
Last synced: 21 Jan 2025
https://github.com/mbarbin/doc-experiment-docusaurus
Experimenting with docusaurus+odoc
docusaurus ocaml ocaml-mdx odoc
Last synced: 21 Jan 2025
https://github.com/mohcineproject/expr-compiler-and-pfx-virtual-machine
An academic project where we developed an Expr compiler (a simple arithmetic language with support for lambda calculus, altough this last part is not yet fully implemented) and a Pfx virtual machine (a simple stack low level language).
Last synced: 21 Jan 2025
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: 21 Jan 2025
https://github.com/sreecharanv/tokenization-and-categorization-using-ocaml-a-lexical-analysis-approach
An OCaml-based lexical analyzer that identifies and classifies tokens such as identifiers, operators, punctuation symbols, integer literals, and keywords. The project involves tokenizing input text, categorizing tokens, and printing them with their respective categories. Key functions include tokenize, is_alnum, is_punctuation, and print_tokens.
lexical-analysis lexical-analyzer ocaml ocaml-program tokenization
Last synced: 21 Jan 2025
https://github.com/code-help-tutor/ocaml-parser
OCaml 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 Jan 2025
https://github.com/code-help-tutor/ocaml-parser-hw9
OCaml HW9 代写代做 编程辅导, code help, CS tutor, WeChat: cstutorcs Email: [email protected]
Last synced: 21 Jan 2025
https://github.com/faber-1/parsite
A micro library for simple parsing combinators.
dune ocaml parsing-combinators parsing-library string
Last synced: 21 Jan 2025
https://github.com/bohun9/tiger-ocaml
Tiger Compiler 🐅
ocaml tiger tiger-compiler x86-64
Last synced: 21 Jan 2025
https://github.com/eratio08/learn-angstrom
Learning about OCaml's Angstrom lib
Last synced: 21 Jan 2025
https://github.com/alesiong/effects-ocaml
Algebraic effects examples in OCaml
algebraic-effects effects ocaml
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/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/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
Last synced: 21 Jan 2025
https://github.com/samuela/karger
Karger's min-cut algorithm in OCaml
functional-programming karger ocaml
Last synced: 27 Dec 2024