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/kuy/today-anime
I can't keep in mind a day of the week of my favorite animes' broadcast 😇
Last synced: 09 Jan 2025
https://github.com/saswatpadhi/ocaml-logicalform
logic logical-forms logical-knowledge-representation ocaml ocaml-library
Last synced: 18 Dec 2024
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/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/kuy/parseco
Learning parser combinators in OCaml + Core.
Last synced: 09 Jan 2025
https://github.com/kiranandcode/ocaml-pug
Pug(lite) parser & compiler in OCaml
Last synced: 25 Dec 2024
https://github.com/smimram/collage
Make photo collages (to print photobooks).
Last synced: 18 Dec 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/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/richeyryan/reason-projects
A collection of projects written in Reason
bucklescript js nodejs ocaml reason reasonml
Last synced: 03 Feb 2025
https://github.com/tanishiking/tiger
[WIP] Tiger language implementation in OCaml (Work in Progress).
Last synced: 26 Jan 2025
https://github.com/naereen/iocamljs-static
A static build of IOCamlJS kernel for IPython notebook - see https://github.com/andrewray/iocamljs/tree/gh-pages
iocaml ipython-notebook jekyll-site js-of-ocaml jupyter-kernel jupyter-notebook jupyter-ocaml ocaml ocaml-jupyter
Last synced: 05 Feb 2025
https://github.com/solarliner/ml-difflist
Differential list implementation in OCaml
Last synced: 19 Dec 2024
https://github.com/randombit/botan-ocaml
OCaml binding for botan crypto library
Last synced: 30 Jan 2025
https://github.com/hexaredecimal/koolml
Cool meta language for the web created in python
caml functional-programming javascript metalanguage ocaml programming-language website
Last synced: 24 Dec 2024
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/jfeser/ocaml-cmph
Ocaml bindings for C Minimal Perfect Hashing Library (CMPH)
hashing mphf ocaml perfect-hash
Last synced: 17 Jan 2025
https://github.com/mitchellgray100/uno
Ocaml terminal based Uno Game.
ai ocaml terminal-based terminal-game uno uno-game
Last synced: 31 Jan 2025
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/rizo/jx
External JavaScript language interface for OCaml.
Last synced: 27 Jan 2025
https://github.com/radionoisee/bd
Bangumi scraper for bilibili.
bangumi bilibili downloader ocaml
Last synced: 09 Jan 2025
https://github.com/nuiipointerexception/nvim
❄️ fast and minimal neovim config.
neovim-config nvim ocaml rust typescript zig
Last synced: 21 Dec 2024
https://github.com/esy-ocaml/esy-ci-scripts
Azure CI Pipeline for building esy projects
azure azure-pipelines ci esy ocaml reason reasonml
Last synced: 28 Dec 2024
https://github.com/gavinleroy/gscheme
An ever expanding subset of the R6RS specification
Last synced: 31 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/sim642/ppx_deriving_hash
[@@deriving hash]
hacktoberfest ocaml ppx ppx-deriver ppx-extension ppxlib
Last synced: 17 Dec 2024
https://github.com/sealinesun/jsonx
JSON data description and codecs for OCaml (unreleased)
Last synced: 31 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/leonidas-from-xiv/awwcaml
WIP Implementation of glue code to run OCaml on AWS Lambda
aws aws-lambda ocaml ocaml-bindings ocaml-library
Last synced: 22 Jan 2025
https://github.com/idkjs/reason-react-native-web-template
Starter, React-Native-Web [Demo](https://codesandbox.io/s/q4qymyp2l6) in ReasonML and ReasonReactNative
bs-react-native demo ocaml react-native-web reasonml
Last synced: 04 Feb 2025
https://github.com/vascorsd/test_app_ocaml
Minimal example trying to use ocaml language
Last synced: 28 Dec 2024
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/rootmos/ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-calculus ski-combinators
Last synced: 26 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/prawater/monkey_interpreter.ml
Tree walking interpreter written in OCaml
Last synced: 01 Feb 2025
https://github.com/federicobruzzone/software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
coq coq-library functional-programming ocaml software-foundations
Last synced: 10 Oct 2024
https://github.com/paurkedal/ppx_compose
Composition Inlining for OCaml
combinator function-composition ocaml optimization ppx-rewriter
Last synced: 20 Jan 2025
https://github.com/cfcs/nvlist
Sun/Solaris serialization format library
ocaml serialization-library solaris zfs zfs-filesystem
Last synced: 17 Jan 2025
https://github.com/mransan/rules-of-time
Short program to illustrate the use of polymorphic variant in OCaml
Last synced: 29 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/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/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/lmarzocchetti/wangtiles-ml
Wang Tiles generator in Ocaml
functional functional-programming ml ocaml wang-tiles
Last synced: 07 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/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/redprl/actions-ocaml
GitHub Action for red* OCaml packages
Last synced: 08 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/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/lindig/tcalc
Minimal desktop calculator that can parse hour:min:sec values
Last synced: 10 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/ryanhill1/command-line-checkers
Checkers with AI.
ai checkers functional-programming game game-tree ocaml
Last synced: 12 Jan 2025
https://github.com/bcc32/countdown
Puzzle solvers for the Countdown game show
Last synced: 11 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/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/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/nicklatch/ocaml_learn_exercises
My solutions to the ocaml.org exercises
functional-programming ocaml practice
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/olafhering/ocaml-camlbz2
Unofficial mirror of Camlbz2 for dune
Last synced: 25 Dec 2024
https://github.com/pawvan/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 26 Jan 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/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/sigmachirality/denpa
Website for Denpa: An Otaku Podcast.
anime bucklescript javascript ocaml reason-react reasonml website
Last synced: 19 Dec 2024
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/serpent7776/ocaml-intro-slides
Introduction to OCaml programming language
Last synced: 18 Jan 2025
https://github.com/bitmaybewise/ocaml-playground
mirrored from https://gitlab.com/bitmaybewise/ocaml-playground
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/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/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/lwcarani/json-parser
JSON parsers, implementations in Python and OCaml
json json-parser menhir ocaml ocamllex python
Last synced: 01 Feb 2025
https://github.com/aeghost/fmtime
Format time in OCaml, should be used with Fmt module
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
https://github.com/alanvf/star_parser
WIP parser for the Star programming language
Last synced: 16 Jan 2025
https://github.com/pawannnnn/text_adventure
Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨
Last synced: 23 Nov 2024