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-01-11 00:16:58 UTC
JSON Representation

https://github.com/tmcgilchrist/ocaml-bitbucket

OCaml library for bitbucket API

ocaml

Last synced: 12 Oct 2024

https://github.com/j14159/ppx_test_match

PPX rewriter to test pattern matches.

ocaml ppx-rewriter testing

Last synced: 17 Dec 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/herulume/playground

agda coq elixir elm go haskell ocaml

Last synced: 24 Dec 2024

https://github.com/erwanlem/imp_debugger

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

debugger inference ocaml

Last synced: 18 Nov 2024

https://github.com/shaolans/raytracer_ocaml

ocaml raytracer

Last synced: 10 Jan 2025

https://github.com/jamessouth/portfolio

my portfolio

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

Last synced: 14 Dec 2024

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/sunsided/ocaml-playground

Playing around with OCaml

ocaml

Last synced: 20 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/mkhan45/ocaml_canvas_pong

js-of-ocaml ocaml pong

Last synced: 15 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/erwanlem/projet_pfa

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

ecs game-development ocaml

Last synced: 13 Nov 2024

https://github.com/samuela/karger

Karger's min-cut algorithm in OCaml

functional-programming karger ocaml

Last synced: 27 Dec 2024

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: 07 Dec 2024

https://github.com/jubnzv/ctfp

Solutions for challenges from Bartosz Milewski's "Category Theory for Programmers" book.

category-theory ocaml

Last synced: 07 Dec 2024

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: 17 Nov 2024

https://github.com/stepankuzmin/exercism

My Exercism solutions

clojure elm erlang exercism ocaml rust

Last synced: 04 Dec 2024

https://github.com/ryanhill1/command-line-checkers

Checkers with AI.

ai checkers functional-programming game game-tree ocaml

Last synced: 13 Nov 2024

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/mmottl/ocaml-playground

This project contains small code examples to get people going with OCaml. Each directory represents a self-contained example.

examples ocaml

Last synced: 05 Jan 2025

https://github.com/giraud/rincewind

cmt information extractor

cmt-extractor ocaml

Last synced: 19 Dec 2024

https://github.com/vogler/ppx_distr_guards

OCaml ppx extension to distribute guards over or-patterns (Warning 57)

ocaml ppx

Last synced: 23 Dec 2024

https://github.com/anupvarghese/reason-react

javascript ocaml reason reasonml

Last synced: 25 Dec 2024

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: 19 Nov 2024

https://github.com/cxa/oasis-mode

major-mode for editing OCaml _oasis files

emacs oasis ocaml

Last synced: 13 Nov 2024

https://github.com/aleksrutins/reason-template

An extremely bare-bones Reason + Esy template.

esy ocaml reason reasonml

Last synced: 19 Nov 2024

https://github.com/amahanna/sandbox

languages practiced go here

cpp golang java lisp ocaml prolog python vhdl

Last synced: 28 Dec 2024

https://github.com/baransu/reason-grpc-playground

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 20 Dec 2024

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

Some OCaml Work

ocaml

Last synced: 07 Dec 2024

https://github.com/phthhieu/tailwind_ppx

[WIP] TailwindCSS PPX for Bucklescript/ReasonML

bucklescript ocaml reasonml tailwind tailwind-css

Last synced: 23 Nov 2024

https://github.com/bahmanm/stockman-ml

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Nov 2024

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/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/amillert/camodular

Ocaml interpreter (Sedlex tokenizer + Menhir parser) of modularized classes with two means of inheritance.

functional-programming menhir ocaml parser sedlex

Last synced: 13 Nov 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/gfngfn/lambda-next-box

code-generation interpreter metaprogramming ocaml type-checker type-system

Last synced: 15 Nov 2024

https://github.com/isaac-defrain/bench

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 15 Dec 2024

https://github.com/kkazuo/slack_rtm

Slack RTM for OCaml

ocaml slack

Last synced: 15 Nov 2024

https://github.com/kkazuo/pdfinfo

A wrapper around the pdfinfo command

ocaml pdf

Last synced: 15 Nov 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/pombadev/pkgman

ocaml

Last synced: 15 Nov 2024

https://github.com/isaac-defrain/multi-client-server

A multi-client server for a simple shared ledger written in OCaml

multi-client-server ocaml

Last synced: 15 Dec 2024

https://github.com/olafhering/ocaml-camlbz2

Unofficial mirror of Camlbz2 for dune

bz2 bzip2 dune ocaml

Last synced: 25 Dec 2024

https://github.com/red-rapious/ocaml-cas

A basic Computer Algebra System (CAS) made in OCaml

cas computer-algebra-system ocaml

Last synced: 12 Nov 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/isaac-defrain/apalache-interface

Interface files for the Apalache symbolic model checker reminiscent of OCaml

apalache ocaml tla tlaplus

Last synced: 15 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/eratio08/ads_ocaml

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 20 Nov 2024

https://github.com/mikaello/ocaml-libxml2

ocaml-libxml2 is a library for calling libxml2 functions from OCaml

bindings libxml libxml2 ocaml

Last synced: 13 Dec 2024

https://github.com/serpent7776/ocaml-intro-slides

Introduction to OCaml programming language

introduction ocaml slides

Last synced: 17 Nov 2024

https://github.com/yawaramin/gen_json_string

Utility to generate fake JSON data from a JSON Schema

json json-schema ocaml

Last synced: 12 Nov 2024

https://github.com/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

https://github.com/yawaramin/wsh-bs-test

Windows Script Host / BuckleScript test

bucklescript ocaml windows-scripts

Last synced: 12 Nov 2024

https://github.com/kuy/99-ocaml-problems

My solutions for "99 Problems (solved) in OCaml" https://ocaml.org/learn/tutorials/99problems.html

99probs ocaml

Last synced: 09 Jan 2025

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/sean-clayton/helmet

bucklescript ocaml reason-react reasonml

Last synced: 25 Dec 2024

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

my solutions to aoc in ocaml

advent-of-code-2021 ocaml

Last synced: 16 Nov 2024

https://github.com/lamg/twitter_scanner

Stores tweets and user profiles in an Sqlite DB.

ocaml sqlite twitter-api

Last synced: 25 Dec 2024

https://github.com/acorrenson/minigc

A tinny GC written in plain C

c compiler-construction compiler-design garbage-collector java ocaml programming-languages

Last synced: 20 Nov 2024

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

Peg Solitaire solver in OCaml

ocaml peg-solitaire solitaire

Last synced: 17 Nov 2024

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

Dumping ground for OCAML

ocaml

Last synced: 17 Nov 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/ftovagliari/ocamlfpdf

OCaml-FPDF is an OCaml translation of the FPDF library (www.fpdf.org), with additions.

ocaml pdf-generation

Last synced: 12 Dec 2024

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

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 19 Nov 2024

https://github.com/jeronimobarea/toml-merge

A small script written in Ocaml to merge all the toml files from a given directory

ocaml toml

Last synced: 29 Nov 2024

https://github.com/ushitora-anqou/qash2

A programming language for double-entry accounting

accounting ocaml

Last synced: 03 Jan 2025

https://framagit.org/zoggy/ocaml-stk

Gui toolkit based on SDL (via Tsdl* libraries). https://zoggy.frama.io/ocaml-stk/

gui ocaml sdl2

Last synced: 30 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/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/peter-roh/ocaml

taking 'programming languages' course

functional-programming interpreter ocaml programming-languages

Last synced: 20 Nov 2024

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

ocaml dune skeleton setup

ocaml scaffolding

Last synced: 02 Jan 2025

https://github.com/mrkkrp/string_metrics

Collection of string metric algorithms in OCaml

hamming-distance jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance ocaml string-metrics

Last synced: 18 Nov 2024

https://github.com/douglarek/cs3110

Learn 【CS 3110 Spring 2016 :: Data Structures and Functional Programming】

cs3110 ocaml ocaml-exercises

Last synced: 22 Dec 2024

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: 18 Nov 2024

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: 18 Nov 2024