Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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-12 00:21:20 UTC
JSON Representation

https://github.com/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

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/atomicptr/zebang

File based script runner powered by shebang

ocaml script-runner

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/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/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

Last synced: 21 Jan 2025

https://github.com/master-of-none/ocaml

Some OCaml Work

ocaml

Last synced: 02 Feb 2025

https://github.com/ryloric/ocaml-dune-skeleton

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 Jan 2025

https://github.com/j14159/alpaca-record-sketch1

Experiments to JIT simple record operations with LLVM in OCaml.

jit llvm ocaml

Last synced: 09 Feb 2025

https://github.com/cmattinson/advent-of-code

OCaml my Caml

advent-of-code functional-programming ocaml

Last synced: 07 Feb 2025

https://github.com/j14159/ppx_test_match

PPX rewriter to test pattern matches.

ocaml ppx-rewriter testing

Last synced: 09 Feb 2025

https://github.com/dimeeentor/university-disrete-math

Projects for my university for Discrete Mathematics course.

ocaml university-project

Last synced: 21 Jan 2025

https://github.com/tristan971/aoc-2019

Advent of Code 2019

advent-of-code-2019 ocaml

Last synced: 10 Jan 2025

https://github.com/cosmicboots/ipcf

Intensional PCF interpreter

intensonality interpreter lambda-calculus ocaml

Last synced: 21 Jan 2025

https://github.com/r-cha/tritip

cli for typing practice

cli ocaml typing-practice

Last synced: 20 Jan 2025

https://github.com/igorjakus/nnomad

Numerical optimization, mathematics and automatic differentiation library in Ocaml!

automatic-differentiation gradient-descent numerical-methods numerical-optimization ocaml

Last synced: 03 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/mbarbin/opam-repository

An opam repository for publishing ocaml packages

ocaml opam packages releases

Last synced: 11 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/ryanhill1/command-line-checkers

Checkers with AI.

ai checkers functional-programming game game-tree ocaml

Last synced: 12 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/atomicptr/pathlib-ml

Experimental path library for OCaml inspired by Pythons pathlib.

ocaml ocaml-library path

Last synced: 21 Jan 2025

https://github.com/maxrn/locksmith

Easily convert between export formats of different password managers for migration.

ocaml password-manager

Last synced: 21 Jan 2025

https://github.com/j-christl/ocaml-utils

Some basic OCaml utility functions I will keep updating while learning functional programming

functional functional-programming ocaml ocaml-utils utility-function

Last synced: 24 Jan 2025

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: 24 Jan 2025

https://github.com/atomicptr/camelcase

A simple OCaml test framework

ocaml ocaml-library test testing unit-testing

Last synced: 24 Jan 2025

https://github.com/pawvan/text_adventure

Explore rooms, solve puzzles, and embark on adventures! 🌍🗝️✨

ocaml

Last synced: 26 Jan 2025

https://github.com/pawvan/text_analyzer

ocaml

Last synced: 26 Jan 2025

https://github.com/domai-tb/functional-programming-ss24

Exercise solution for the course "Functional Programming" af summer semester 2024

functional-programming ocaml

Last synced: 21 Jan 2025

https://github.com/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 11 Jan 2025

https://github.com/maxm33/minicaml-interpreter

An interpreter written in Java that understands a subset of OCaml instructions.

interpreter ocaml

Last synced: 21 Jan 2025

https://github.com/speedcell4/real-world-ocaml

ocaml real-world-ocaml

Last synced: 08 Feb 2025

https://github.com/andrewprofile/cqrs-sample

Sample of CQRS

clang cqrs csharp dart dlang golang hack hacktoberfest java kotlin ocaml php python ruby rust typescript

Last synced: 18 Jan 2025

https://github.com/james-p-d/ocamldump

Dumping ground for OCAML

ocaml

Last synced: 18 Jan 2025

https://github.com/james-p-d/pegsolitaire

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 18 Jan 2025

https://github.com/neurocorgi/vm_challenge

Synacor vm challenge solution in Ocaml

ocaml vm

Last synced: 23 Jan 2025

https://github.com/erwanlem/projet_kawa

Interpréteur pour le langage objet Kawa

interpreter ocaml

Last synced: 12 Jan 2025

https://github.com/erwanlem/projet_pfa

Création d'un jeu 2D type platformer utilisant le modèle ECS

ecs game-development ocaml

Last synced: 12 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/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 23 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).

dune menhir ocaml ocamllex

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/dakotamurphyucf/ocaml-gpt

Ocaml project providing AI tooling using the Openai api.

developer-tools ocaml openai

Last synced: 21 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/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/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.

ocaml

Last synced: 19 Jan 2025

https://github.com/erwanlem/imp_debugger

Débogueur pour langage impératif avec inférence de type

debugger inference ocaml

Last synced: 19 Jan 2025

https://github.com/jamessouth/portfolio

my portfolio

bucklescript jest ocaml parcel react-testing-library reasonml reasonreact tailwindcss

Last synced: 07 Feb 2025

https://github.com/aadhil2k4/ocaml-ray-tracer

OCaml implementation of blue to whit gradient generation from book "Ray tracing in a weekend"

ocaml raytracing

Last synced: 21 Nov 2024

https://github.com/vit0rr/chat-ocaml

TCP chat in OCaml

chat ocaml tcp

Last synced: 20 Jan 2025

https://github.com/b72u68/arithmetic-expressions

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 20 Jan 2025

https://github.com/yawaramin/gen_json_string

Utility to generate fake JSON data from a JSON Schema

json json-schema ocaml

Last synced: 11 Jan 2025

https://github.com/thaodt/tcp_server

First step to OCaml

ocaml

Last synced: 31 Jan 2025

https://github.com/chaarlesss/lipgloss

Style definitions for nice terminal layouts in OCaml 👄

ocaml

Last synced: 25 Jan 2025

https://github.com/ncs-pl/query-tree

Projet de Programmation Fonctionnelle, UFR ST Orléans 2024

ocaml query tree

Last synced: 23 Jan 2025

https://github.com/jxiao/aoc

Advent of Code (ft. 🐫 & 🐍 )

ocaml python

Last synced: 10 Feb 2025

https://github.com/jubnzv/ocaml-plugins-demo

A demo that shows how to use Findlib to implement a project with dynamically loaded plugins.

findlib ocaml ocaml-plugin

Last synced: 02 Feb 2025

https://github.com/davideimola/myinterpreter

Interpreter built in OCaml

interpreter ocaml university university-project

Last synced: 22 Jan 2025

https://github.com/kawamurakazushi/monkey-ml

OCaml implementation of an interpreter for the Monkey programming language

interpreter lexer monkey ocaml parser

Last synced: 09 Jan 2025

https://github.com/zshipko/ocaml-redis-module

Redis Modules in OCaml

ocaml redis

Last synced: 22 Jan 2025

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: 30 Jan 2025

https://github.com/vit0rr/lexical_analysis

Lexical analysis interpreter step in OCaml

functional-programming lexer lexical-analysis ocaml

Last synced: 27 Jan 2025

https://github.com/alexchang8/bs-big.js

Bucklescript bindings to big.js

bucklescript bucklescript-bindings ocaml reasonml reasonml-bindings

Last synced: 07 Feb 2025

https://github.com/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 Jan 2025

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/artainmo/general-programming

Notes from studying and small projects surrounding general-programming.

assembly bits c clean-code cpp ide ocaml operating-systems os python rust self-learning shell study team vim

Last synced: 22 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: 05 Feb 2025

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/thecoachingonline/hello-ocaml

Hello World OCaml

ocaml

Last synced: 03 Feb 2025

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/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/viet281101/minic-misp_compiler

A small language compiler in Ocaml, translates MiniC syntax into MISP and runs

compiler misp ocaml

Last synced: 21 Dec 2024

https://github.com/farmansu/qcst

Quantum Cognitive Synthesis Theory (QCST) is a theoretical framework exploring the integration of quantum mechanics, cognitive science, and AI. It proposes that consciousness might be simulated through quantum-like processes in microtubules, with implementations across various programming languages and using MySQL for managing learning experiences.

cognitive-science consciousness game-development machine-learning microtubules neuroscience ocaml property-based-testing quantum-computing quickcheck reinforcement-learning robotics