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/fuwn/disml

🐪 A Discord bot framework for OCaml

discord ocaml

Last synced: 05 Feb 2025

https://github.com/savonet/ocaml-pipewire

OCaml bindings to the PipeWire library.

library ocaml pipewire

Last synced: 04 Feb 2025

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

major-mode for editing OCaml _oasis files

emacs oasis ocaml

Last synced: 12 Jan 2025

https://github.com/bartex00001/better-c-macros

Rust-like macros for c

c macros ocaml preprocessing

Last synced: 04 Feb 2025

https://github.com/hoddy3190/ocamlformat-vscode-extension

VSCode extension - simple wrapper for ocamlformat command

ocaml ocamlformat vscode vscode-extension

Last synced: 09 Jan 2025

https://github.com/ahnineamine/log-analysis-api

OCaml-based REST API designed to process, analyze, and transform log data

dune functional-programming ocaml

Last synced: 04 Feb 2025

https://github.com/bryik/experiments-in-ocaml

Small snippets of OCaml.

ocaml

Last synced: 19 Jan 2025

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

An extremely bare-bones Reason + Esy template.

esy ocaml reason reasonml

Last synced: 20 Jan 2025

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

https://github.com/juniforge/nmap_xml_parser

A simple OCaml script that parses Nmap XML output and extracts IPv4 addresses marked as "up" in a comma-separated list.

nmap ocaml xml xml-parser

Last synced: 30 Dec 2024

https://github.com/neal-c/hello-ocaml

A playground for curiosity, fun and very deep personal notes

ocaml

Last synced: 02 Feb 2025

https://github.com/claby2/camlcade

🐪🎮 OCaml Game Engine

ecs game-engine ocaml opengl

Last synced: 30 Dec 2024

https://github.com/mk-fg/ghg

Simple command-line NaCl/libsodium file encryption tool

cli cryptography nacl ocaml security tool

Last synced: 07 Jan 2025

https://github.com/sagnikc395/sato

A SAT Solver written in OCaml.

ocaml plt sat-solver

Last synced: 23 Jan 2025

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

Experiments to JIT simple record operations with LLVM in OCaml.

jit llvm ocaml

Last synced: 17 Dec 2024

https://github.com/demiazz/advent-of-ocaml

Advent of Code on OCaml

advent-of-code ocaml

Last synced: 21 Jan 2025

https://github.com/ryloric/bs-list

BuckleScript bindings for funkia/list

bucklescript-bindings ocaml reasonml

Last synced: 06 Feb 2025

https://github.com/algojobs/ocaml-jobs

The latest OCaml jobs, updated weekly.

jobs jobsearch ocaml software-engineering

Last synced: 21 Jan 2025

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/lue-bird/elm-syntax-to-ocaml

transpile elm to ocaml

elm elm-syntax ocaml transpiler

Last synced: 08 Jan 2025

https://github.com/arata-nvm/tedate

✏I want to learn about functional programming.

interpreter ocaml

Last synced: 08 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/dhil/google-tech-talk-2018

Materials for my Google Tech Talk 2018

concurrency effect-handlers effects ocaml

Last synced: 17 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: 12 Jan 2025

https://github.com/risto-stevcev/bs-callbag-last

Creates a callbag containing only the last signal from the given stream

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/alanvf/star_parser

WIP parser for the Star programming language

menhir ocaml parser star

Last synced: 16 Jan 2025

https://github.com/risto-stevcev/bs-callbag-to-promise

Convert an async pullable source into a promise

bucklescript callbag ocaml

Last synced: 09 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: 20 Jan 2025

https://github.com/risto-stevcev/bs-callbag-batteries

Callbags with batteries included

bucklescript callbag ocaml

Last synced: 09 Nov 2024

https://github.com/yayuniversal/projet-ipf-s2

Functional programming project of the 2nd semester - ENSIIE

decision-trees functional-programming ocaml

Last synced: 08 Jan 2025

https://github.com/rdck/ocaml-module-introduction

source code for "Introduction to the OCaml Module System"

ocaml

Last synced: 21 Jan 2025

https://github.com/jxiao/aoc

Advent of Code (ft. 🐫 & 🐍 )

ocaml python

Last synced: 18 Dec 2024

https://github.com/thehxdev/ocaml-practice

Solving some problems with Ocaml

ocaml

Last synced: 21 Jan 2025

https://github.com/the-altitude-attitude/ground-control-station

WIP final project for CS 3110.

bogue gcs ocaml

Last synced: 18 Dec 2024

https://github.com/mikejeuga/fonctionnelle

Just some files while I am learning

functional-programming learning ocaml

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/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/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/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/giraud/rincewind

cmt information extractor

cmt-extractor ocaml

Last synced: 19 Dec 2024

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

Benchmarking OCaml patterns

benchmark ocaml

Last synced: 15 Dec 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/lindig/tcalc

Minimal desktop calculator that can parse hour:min:sec values

ocaml

Last synced: 10 Jan 2025

https://github.com/navierula/learningneverends

New Year's Resolution 2017+2018: learn new programming languages :)

javascript ocaml python r

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

A Brainfuck compiler to Assembly x86, fully written in OCaml

brainfuck compiler gabyfle ocaml parser tokenizer

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: 19 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/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/brocksam/99-camls

My solutions to the 99 exercises in OCaml

exercises ocaml

Last synced: 26 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/yawaramin/wsh-bs-test

Windows Script Host / BuckleScript test

bucklescript ocaml windows-scripts

Last synced: 11 Jan 2025

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

https://github.com/shroominic/ocaml-sublanguage-interpreter

This project is an interpreter written in OCaml. It interpretes a language similar to OCaml but simpler.

interpreter ocaml

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

examples ocaml

Last synced: 05 Jan 2025

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

bz2 bzip2 dune ocaml

Last synced: 25 Dec 2024

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

TCP chat in OCaml

chat ocaml tcp

Last synced: 20 Jan 2025

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/b72u68/arithmetic-expressions

Simple arithmetic expression parser using Ocaml

ocaml

Last synced: 20 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/bcc32/countdown

Puzzle solvers for the Countdown game show

ocaml puzzle-solver

Last synced: 11 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/redprl/actions-ocaml

GitHub Action for red* OCaml packages

github-actions ocaml

Last synced: 08 Jan 2025

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

Reason gRPC Playground

grpc ocaml reasonml

Last synced: 04 Feb 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/formalsec/waspc

OWI's C frontend

ocaml owi symbolic-execution wasm

Last synced: 07 Nov 2024

https://github.com/sagnikc395/project-euler

Project Euler Solutions.

effect ocaml project-euler

Last synced: 21 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/bitmaybewise/ocaml-playground

mirrored from https://gitlab.com/bitmaybewise/ocaml-playground

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/pombadev/pkgman

ocaml

Last synced: 16 Jan 2025

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

cli for typing practice

cli ocaml typing-practice

Last synced: 20 Jan 2025

https://github.com/kkazuo/pdfinfo

A wrapper around the pdfinfo command

ocaml pdf

Last synced: 16 Jan 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/kkazuo/slack_rtm

Slack RTM for OCaml

ocaml slack

Last synced: 16 Jan 2025

https://github.com/thaodt/tcp_server

First step to OCaml

ocaml

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

Last synced: 04 Feb 2025

https://github.com/chaarlesss/lipgloss

Style definitions for nice terminal layouts in OCaml 👄

ocaml

Last synced: 25 Jan 2025

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/vendethiel/translator-backend.ocaml

Backend to Translator using Ocaml + Dream

dream lwt ocaml ocaml-dream ocaml-lwt

Last synced: 27 Jan 2025

OCaml Awesome Lists
awesome-ocaml 381 awesome-fp-jobs 30 awesome-ocaml 40
OCaml Categories
Libraries 40 Compilers and Compiler Tools 23 Purely Functional 17 General 17 Web Development 15 Developer Tools 15 Community 15 Impure / Multi-Paradigm 13 Databases 11 Algorithms and Data Structures 10 Metaprogramming 10 Books 10 Exercises and Short Examples 9 IDEs and Editors 8 Language-related 8 Concurrency 8 Application Libraries 7 Online Courses 7 Testing 6 Formal Software Verification 6