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-23 00:17:44 UTC
JSON Representation

https://github.com/nao1215/selfish

selfish - the shell dyed in your selfish colors.

ocaml shell shell-script wip

Last synced: 18 Dec 2024

https://github.com/singularityx-ai/penify-oapi-code-gen

OpenAPI specification generator in NodeJS that can generate openapi-specs for multiple languages

csharp go golang java javascript nodejs ocaml php python typescript

Last synced: 18 Dec 2024

https://github.com/dlesbre/kotlin-compiler

Compiler for a simple fragment of kotlin

compiler kotlin ocaml

Last synced: 20 Dec 2024

https://github.com/smimram/methml

An ML language with methods.

methods ml ocaml

Last synced: 18 Dec 2024

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/saswatpadhi/ocaml-logicalform

logic logical-forms logical-knowledge-representation ocaml ocaml-library

Last synced: 18 Dec 2024

https://github.com/fizzyelt/ocaml_aoc_2023

advent-of-code ocaml

Last synced: 18 Dec 2024

https://github.com/hcarty/columns

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Jan 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/spreadsheet-demo

An FRP Experiment

eliom experimental ocaml ocsigen

Last synced: 20 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/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/jchavarri/bs-playground-bundler

Create browser playground embeddable files from BuckleScript compilation cmi/cmj artifacts

bucklescript ocaml reasonml

Last synced: 18 Dec 2024

https://github.com/c-cube/irky

[wip] IRC client for OCaml

client irc ocaml openssl

Last synced: 17 Jan 2025

https://github.com/hcarty/extbigarray

Extra bigarray functions

numeric ocaml

Last synced: 13 Jan 2025

https://github.com/richeyryan/reason-projects

A collection of projects written in Reason

bucklescript js nodejs ocaml reason reasonml

Last synced: 20 Jan 2025

https://github.com/gabrielemaurina/workspace

Personal workspace. Years of code shouldn't be lost.

cpp eiffel erlang java javascirpt ocaml python scala

Last synced: 05 Dec 2024

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/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: 31 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/maolonglong/bogoscheme

A subset of Scheme

menhir ocaml ocamllex repl scheme scheme-interpreter

Last synced: 26 Dec 2024

https://github.com/cheukchuen/go-to-wasm

Golang to WebAssembly compiler written in OCaml

compiler-design golang ocaml webassembly

Last synced: 11 Jan 2025

https://github.com/qnighy/fplp-interpreter

関数・論理型プログラミング実験

interpreter ocaml type-inference

Last synced: 13 Dec 2024

https://github.com/smimram/latool

Preprocess LaTeX files.

latex ocaml proprocess

Last synced: 23 Jan 2025

https://github.com/federicobruzzone/setup-ocaml-project-with-dune

This repository provides a basic setup for an OCaml project with 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: 03 Jan 2025

https://github.com/mbarbin/dune-rpc-eio

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

Last synced: 11 Jan 2025

https://github.com/mbarbin/eio-rpc

A collection of opinionated libraries designed to build RPC clients and servers with eio

eio grpc ocaml protocol-buffers rpc

Last synced: 11 Jan 2025

https://github.com/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

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

city-builder game ocaml

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

compiler ocaml purescript

Last synced: 11 Jan 2025

https://github.com/delciokelson/chat_ocaml

A chat written in ocaml using the lwt library

async chat lwt ocaml

Last synced: 21 Jan 2025

https://github.com/teenbiscuits/practicas-pp

Prácticas de la asignatura Paradigmas de la Programación en OCaml

fic ocaml pp udc

Last synced: 11 Jan 2025

https://github.com/hacker-code-j/software-verification

first-order-logic ocaml propositional-logic software-verification

Last synced: 21 Jan 2025

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.

ocaml orm

Last synced: 12 Jan 2025

https://github.com/naereen/github-codespaces-pour-ocaml-et-c-pour-cpge-mp2i

Un template pour utiliser GitHub codespaces (site web github.dev) pour coder en OCaml en un clic dans un VSCode en ligne

cpge dune github-codespaces github-config mp2i ocaml vscode

Last synced: 23 Jan 2025

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/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/azur1s/ichor

ML-like language for the backend (WIP)

backend javascript ocaml programming-language

Last synced: 26 Jan 2025

https://github.com/solarliner/ml-difflist

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 19 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/kkazuo/pgez

Eazy wrapper of postgresql

core ocaml postgresql

Last synced: 16 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/richard-degenne/ocaml-textrazor

An OCaml wrapper for the TextRazor API.

nlp ocaml textrazor

Last synced: 31 Dec 2024

https://github.com/jay-es/ocaml-practice

「プログラミングの基礎」や「プログラミング in OCaml」の演習

ocaml

Last synced: 22 Dec 2024

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

my solutions to aoc in ocaml

advent-of-code-2021 ocaml

Last synced: 17 Jan 2025

https://github.com/gabyfle/soundml

A little and very high level library to perform basic operations on audio files in the OCaml language

audio-processing ffmpeg ocaml owl

Last synced: 12 Oct 2024

https://github.com/firobe/ocaml-mqtt-eio

Port of mqtt-client to eio

eio mqtt ocaml

Last synced: 23 Jan 2025

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

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 20 Jan 2025

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/prawater/monkey_interpreter

Tree walking interpreter written in OCaml

interpreter monkeylang ocaml

Last synced: 11 Jan 2025

https://github.com/kuy/echo.ml

Echo server written in OCaml with LWT.

echo example lwt ocaml socket

Last synced: 09 Jan 2025

https://github.com/kuy/lecho

Local Echo program written in OCaml with Core and Async.

async core echo example ocaml

Last synced: 09 Jan 2025

https://github.com/dofera/mtasc

Motion-Twin ActionScript 2 Compiler

actionscript flash ocaml

Last synced: 22 Jan 2025

https://github.com/eratio08/pars-comb-ml

Monadic parsing in OCaml

monadic ocaml parser parser-combinators parsing

Last synced: 21 Jan 2025

https://github.com/thaodt/tcp_server

First step to OCaml

ocaml

Last synced: 04 Dec 2024

https://github.com/pombadev/semv

Bump a semver

cli ocaml semver

Last synced: 21 Jan 2025

https://github.com/vendethiel/translator-backend.ocaml

Backend to Translator using Ocaml + Dream

dream lwt ocaml ocaml-dream ocaml-lwt

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

Algorithms & Data Structuress in OCaml

ads ocaml

Last synced: 21 Jan 2025

https://github.com/benhuds/ocaml-provers

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

first-order-logic ocaml propositional-logic theorem-prover

Last synced: 17 Jan 2025

https://github.com/healthypackrat/metro-book

『プログラミングの基礎』のメトロネットワーク最短経路問題

book graph-algorithms ocaml

Last synced: 09 Jan 2025

https://github.com/eratio08/concaml

Simple Conway's Game of Life in OCaml

conways-game-of-life ocaml

Last synced: 21 Jan 2025

https://github.com/justynhunter/photo_site_ml

Photograph Website

htmx ocaml

Last synced: 23 Jan 2025

https://github.com/ggsmith842/crypto-hacks

CTF challenges from the Cryptohack Cryptography course.

cryptography ocaml

Last synced: 21 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 advent-of-code-2024 elixir go kotlin ocaml

Last synced: 21 Jan 2025

https://github.com/shakadak/ft_tama

Small tamagochi in OCaml

ocaml tamagotchi

Last synced: 09 Dec 2024

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

Stockman in OCaml

ocaml ocaml-exercises stockman

Last synced: 15 Jan 2025

https://github.com/idkjs/simple-fetch-graphql-tutorial

ReasonML and Graphql without Graphql

axios bs-axios bs-fetch graphql ocaml reason reasonml

Last synced: 10 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/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/idkjs/reason-react-native-elements-gitphone

Reason Version of React Native Elements's Gitphone Case Study: https://react-native-training.github.io/react-native-elements/blog/2018/12/13/react-native-web.html

bs-react-native bucklescript bucklescript-bindings ocaml react-native react-native-elements reasonml