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.

https://github.com/k-nrd/babylon.ml

An experiment with OCaml, Melange and Babylon.js. Maybe I'll publish the Melange bindings separately at some point.

3d babylonjs melange ocaml webgl

Last synced: 30 Dec 2024

https://github.com/rizo/jx

External JavaScript language interface for OCaml.

bindings javascript ocaml

Last synced: 28 Nov 2024

https://github.com/hcarty/extbigarray

Extra bigarray functions

numeric ocaml

Last synced: 13 Nov 2024

https://github.com/kkazuo/bs-gcloud

Google Cloud Datastore bindings of BuckleScript.

bucklescript-bindings google-cloud ocaml

Last synced: 15 Nov 2024

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/hcarty/columns

Columns and rows of numbers and strings

csv ocaml wip

Last synced: 13 Nov 2024

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/nuiipointerexception/nvim

❄️ fast and minimal neovim config.

neovim-config nvim ocaml rust typescript zig

Last synced: 21 Dec 2024

https://github.com/vascorsd/test_app_ocaml

Minimal example trying to use ocaml language

ocaml

Last synced: 28 Dec 2024

https://github.com/sim642/ocaml-arg-complete

Bash completion support for OCaml Stdlib.Arg

bash-completion ocaml ocaml-library

Last synced: 17 Dec 2024

https://github.com/sano-jin/learn-jsoo

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

dom-manipulation javascript js-of-ocaml ocaml web-app

Last synced: 12 Oct 2024

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/formalsec/ocaml-cvc5

OCaml bindings for the cvc5 SMT solver

cvc5 ocaml

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/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/shnewto/lilac

OCaml library for getting the value of any field in a YAML file as a string.

bisect-ppx cmdliner codecov dune lilac mit ocaml ounit yaml yaml-unix

Last synced: 18 Dec 2024

https://github.com/xnyo/minicaml

PR2B@unipi 2019-2020

ocaml

Last synced: 28 Dec 2024

https://github.com/nwaywood/the-super-tiny-compiler-ocaml

Implementation of The Super Tiny Compiler in OCaml

compiler ocaml

Last synced: 23 Dec 2024

https://github.com/strykerkkd/maco

virtual machine in ocaml

bytecode-interpreter ocaml virtual-machine vm

Last synced: 01 Dec 2024

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/richeyryan/reason-projects

A collection of projects written in Reason

bucklescript js nodejs ocaml reason reasonml

Last synced: 09 Dec 2024

https://github.com/kuy/today-anime

I can't keep in mind a day of the week of my favorite animes' broadcast 😇

ocaml

Last synced: 09 Jan 2025

https://github.com/nikitavoloboev/ocaml

OCaml libraries and other code

ocaml ocaml-library

Last synced: 25 Nov 2024

https://github.com/kuy/parseco

Learning parser combinators in OCaml + Core.

core ocaml parser-combinators

Last synced: 09 Jan 2025

https://github.com/akabe/ocaml-js-boilerplate

A template repository for OCaml and JavaScript

functional-programming javascript ocaml

Last synced: 18 Dec 2024

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

Differential list implementation in OCaml

ocaml ocaml-library

Last synced: 19 Dec 2024

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/omnisci3nce/kosen

https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCaml

ocaml raytracing raytracing-in-one-weekend

Last synced: 18 Nov 2024

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/sealinesun/jsonx

JSON data description and codecs for OCaml (unreleased)

html ocaml shell standard-ml

Last synced: 31 Dec 2024

https://github.com/smimram/methml

An ML language with methods.

methods ml ocaml

Last synced: 18 Dec 2024

https://github.com/haerfest/bubble-universe

Bubble Universe in Lua and OCaml

bubble-universe love-framework lua ocaml stardot

Last synced: 12 Oct 2024

https://github.com/sealinesun/tsdl

Thin bindings to SDL for OCaml

c ocaml

Last synced: 31 Dec 2024

https://github.com/unixjunkie/shlang

A DSL for operations over files

cash cli ocaml scsh unix-shell

Last synced: 04 Dec 2024

https://github.com/emersion/mlgrope

Cut the Rope - MLG version

cut-the-rope game mlg ocaml

Last synced: 08 Jan 2025

https://github.com/valoran-m/miniml

OCaml subset interpreter

interpreter ocaml types

Last synced: 09 Dec 2024

https://github.com/yoangau/todocaml

🐫 Todocaml - CLI Todo written in Ocaml

ocaml todo todolist

Last synced: 14 Dec 2024

https://github.com/arc-hugo/debt_calculator

Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.

flow ford-fulkerson-algorithm functional-programming graph ocaml

Last synced: 24 Nov 2024

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

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

interpreter ocaml type-inference

Last synced: 13 Dec 2024

https://github.com/lindig/xenctrl

Mock OCaml Xen bindings

ocaml xen

Last synced: 11 Nov 2024

https://github.com/ekoeppen/nemesis

A Forth compiler written in OCaml

cortex-m0 forth msp430 ocaml

Last synced: 15 Dec 2024

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: 12 Oct 2024

https://github.com/mbarbin/provider

Dynamic Dispatch with Traits

dynamic-dispatch ocaml parametrization trait

Last synced: 12 Oct 2024

https://github.com/mitchellgray100/uno

Ocaml terminal based Uno Game.

ai ocaml terminal-based terminal-game uno uno-game

Last synced: 04 Dec 2024

https://github.com/smimram/collage

Make photo collages (to print photobooks).

ocaml photo-collage

Last synced: 18 Dec 2024

https://github.com/gavinleroy/gscheme

An ever expanding subset of the R6RS specification

ocaml scheme

Last synced: 04 Dec 2024

https://github.com/kiranandcode/ocaml-pug

Pug(lite) parser & compiler in OCaml

html ocaml pug

Last synced: 25 Dec 2024

https://github.com/mransan/rules-of-time

Short program to illustrate the use of polymorphic variant in OCaml

ocaml typesystem

Last synced: 30 Nov 2024

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: 12 Oct 2024

https://github.com/theteachr/eleet_camel

Collection of solutions to LeetCode problems (in OCaml)

leetcode-solutions ocaml

Last synced: 12 Nov 2024

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

https://github.com/mbarbin/auto-format

Building auto format commands for custom languages

auto-formatter dune dune-fmt fmt ocaml

Last synced: 12 Nov 2024

https://github.com/randombit/botan-ocaml

OCaml binding for botan crypto library

botan cryptography ocaml

Last synced: 02 Dec 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: 07 Jan 2025

https://github.com/delciokelson/chat_ocaml

A chat written in ocaml using the lwt library

async chat lwt ocaml

Last synced: 12 Oct 2024

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

Communicate with dune using rpc and Eio

dune dune-rpc eio ocaml

Last synced: 12 Nov 2024

https://github.com/jchavarri/jsoo-is-sorted

Js_of_ocaml bindings to JavaScript library is-sorted

js-of-ocaml ocaml reasonml

Last synced: 30 Nov 2024

https://github.com/sano-jin/dhl-alpha

A minimal compiler and runtime for a language based on graph rewriting

compiler interpreter ocaml programming-language

Last synced: 02 Dec 2024

https://github.com/elzibus/ocaban

Sokoban game in OCaml

game ocaml ocaml-canvas sokoban

Last synced: 14 Nov 2024

https://github.com/tategakibunko/ocaml-mjlib

ocaml mahjong library

game mahjong ocaml

Last synced: 13 Nov 2024

https://github.com/tategakibunko/ocorm

helper functor module to map some table rows into other object like json.

ocaml orm

Last synced: 13 Nov 2024

https://github.com/unixjunkie/diskuv-ocaml

mirror of https://gitlab.com/diskuv/diskuv-ocaml.git

ocaml windows

Last synced: 04 Dec 2024

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: 12 Oct 2024

https://github.com/rootmos/ppx_ski

SKI combinator calculus implemented in OCaml

ocaml ppx ski-calculus ski-combinators

Last synced: 28 Nov 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/slamko/ocadl

Blazingly type safe GPU accelerated Multi-Layer Perceptron

deep-learning dependent-types functional-programming gadt neural-network ocaml type-safe

Last synced: 20 Nov 2024

https://github.com/jubnzv/aoc2021

Solutions to Advent of Code 2021

advent-of-code advent-of-code-2021 advent-of-code-ocaml ocaml

Last synced: 07 Dec 2024

https://github.com/frost-phoenix/ocaml-fractals

Some fractals renderings made with ocaml

fractals ocaml visualization

Last synced: 12 Oct 2024

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/speedcell4/tiger-book

modern compiler implementation in OCaml

compiler ocaml

Last synced: 06 Jan 2025

https://github.com/imandra-ai/abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration

cdcl dpll-algorithm formalization ocaml sat smt

Last synced: 22 Nov 2024

https://github.com/meta-inf/mlc

[O]Caml compiler

compiler functional-programming ocaml

Last synced: 13 Nov 2024

https://github.com/blaketarter/reticky-tacky

A game of tic-tac-toe built with reprocessing.

game ocaml reasonml tic-tac-toe

Last synced: 26 Dec 2024

https://github.com/zsc/jasmine

A distributed make in JoCaml

distributed-computing jocaml ocaml

Last synced: 14 Nov 2024

https://github.com/kalongn/cse-216

Programming Abstraction (College Class).

functional-programming generic java ocaml python recursion type-hierarchies

Last synced: 11 Dec 2024

https://github.com/pombadev/otag

Opinionated audio metadata editor

id3 music-tagger ocaml

Last synced: 15 Dec 2024

https://github.com/marekjm/real-world-ocaml-code

Code written while reading "Real World OCaml" (with examples updated to newer Core)

ocaml real-world-ocaml

Last synced: 07 Dec 2024

https://github.com/tanishiking/tiger

[WIP] Tiger language implementation in OCaml (Work in Progress).

compiler ocaml

Last synced: 28 Nov 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: 18 Nov 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/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: 29 Sep 2024

https://github.com/gauben/bcotp

Big Cities on Tiny Planets: Definitive Edition

city-builder game ocaml

Last synced: 12 Nov 2024

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