Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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-09 00:24:49 UTC
- JSON Representation
https://github.com/chris00/ocaml-odepack
Binding to the ODEPACK FORTRAN library
differential-equations engineering-computation ocaml ode ode-solver scientific-computing
Last synced: 29 Oct 2024
https://github.com/chris00/root1d
Collection of functions to find roots of functions float → float. Pure OCaml code.
brent newton-method ocaml ocaml-library root-finding scientific-computing
Last synced: 29 Oct 2024
https://github.com/fangyi-zhou/advent-of-code-ocaml-starter
Starter code for doing Advent of Code in OCaml
Last synced: 17 Nov 2024
https://github.com/tokenrove/tsdl-ttf
SDL2_ttf bindings for Ocaml with Tsdl
Last synced: 29 Oct 2024
https://github.com/unixjunkie/hoogle_for_ocaml
Same as https://www.haskell.org/hoogle/ but for OCaml programmers
Last synced: 30 Dec 2024
https://github.com/erwanor/binbin
Convenient binary string manipulation module for OCaml
bit-manipulation ocaml ocaml-library
Last synced: 06 Nov 2024
https://github.com/whoismtrx/advent_of_code
Solutions to Advent of Code challenges across multiple programming languages.
advent-of-code clanguage coding coding-challenges competitive-programming cpp csharp ocaml puzzle python rust solutions
Last synced: 13 Dec 2024
https://github.com/justinlubin/bark
Unofficial OCaml port of elm/parser (v1.1.0).
ocaml parser-combinators parsing
Last synced: 18 Nov 2024
https://github.com/yuanqing/code-problems
:camel: Working through code problems in OCaml
Last synced: 30 Dec 2024
https://github.com/sangwoo-joh/ocaml-ps
:camel: Problem solving with OCaml
algorithm ocaml problemsolving
Last synced: 14 Nov 2024
https://github.com/mbarbin/vcs
A Versatile OCaml Library for Git Operations
Last synced: 12 Oct 2024
https://github.com/astrocoders/astro-graphql-pg-ocaml
GraphQL server in OCaml with PG
Last synced: 17 Nov 2024
https://github.com/unixjunkie/consent
ligand-based virtual screening with consensus queries
chemical chemoinformatics consensus ecfp4 fingerprint lbvs ligand maccs molprint2d ocaml
Last synced: 15 Oct 2024
https://github.com/smimram/saml
A compiler for sound generators and processors.
Last synced: 31 Oct 2024
https://github.com/unixjunkie/fragger
A protein fragments picker
database ocaml protein-design protein-fragments protein-fragments-picker rmsd
Last synced: 15 Oct 2024
https://github.com/paurkedal/iplogic
A DSL for generating iptables firewall scripts.
Last synced: 12 Nov 2024
https://github.com/enoumy/capymanga
Read manga from the comfort of your terminal
bonsai kitty kittyicat manga manga-downloader manga-reader mangadex mangadex-api ocaml reader terminal tui
Last synced: 22 Oct 2024
https://github.com/rootmos/silly-ml
A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend
compiler experimental functional-language ocaml silly x86-64
Last synced: 28 Nov 2024
https://github.com/FrankKair/kindle-highlights
📚 Highlights in your terminal 📖
Last synced: 08 Nov 2024
https://github.com/dave-tucker/ocaml-nlp
Simple NLP for OCaml
natural-language-processing nlp ocaml
Last synced: 12 Oct 2024
https://github.com/naereen/peut-on-coder-avec-ocaml-python-et-c-par-sms
Je souhaite répondre à la question suivante : peut on coder avec OCaml, Python et C par SMS ? Oui ! Attention, proof of concept à héberger soi-même localement, et c'est payant avec Twilio.com, et très expérimental ! Mais amusant !
c experimental flask-application fun ocaml prologin python sms-messages teaching twilio wtf
Last synced: 31 Dec 2024
https://github.com/cedlemo/ocaml-sqlite3-notes
OCaml Sqlite3 tutorial
ocaml ocaml-sqlite sqlite3 tutorial
Last synced: 24 Oct 2024
https://github.com/rawleyfowler/mamml
In memory database with first class JSON IO
Last synced: 27 Oct 2024
https://github.com/dannywillems/ocaml-influxdb
OCaml interface to the time series database InfluxDB
influxdb ocaml timeseries-database
Last synced: 12 Oct 2024
https://github.com/jochasinga/firma
Simple Merkle tree implementation based on the Bitcoin white paper.
bitcoin blockchain firma hashtree merkle ocaml security
Last synced: 18 Oct 2024
https://github.com/kiranandcode/swipl-ocaml
SWI-Prolog Bindings for OCaml: https://gopiandcode.github.io/SWIPL-OCaml/swipl/index.html
Last synced: 10 Oct 2024
https://github.com/redacademy/reason-react-todo
A todo app with ReasonReact + ReasonML + OCaml + BuckleScript + React
bucklescript javascript ocaml react reasonml reasonreact todoapp
Last synced: 26 Nov 2024
https://github.com/naereen/tiny-prolog-in-ocaml
A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples.
agregation exemples francais ocaml ocaml-library prolog
Last synced: 31 Dec 2024
https://github.com/maxchrr/camlbrick
Projet de jeu de casse-brique basé sur Tcl/Tk, via le module LablTk
game ocaml tcl-tk university-project
Last synced: 29 Sep 2024
https://github.com/xvw/jsoo_storage
A wrapper in Js_of_ocaml for the WebStorage API
localstorage ocaml ocaml-bindings sessionstorage webstorage
Last synced: 12 Oct 2024
https://github.com/c-cube/poc-modular-io
proof of concept for https://github.com/ocaml/RFCs/pull/19
Last synced: 12 Oct 2024
https://github.com/cedlemo/ocaml-gi-ctypes-bindings-generator
gi-bindings-generator : OCaml Loader that uses GObject-Introspection in order to automatically create Ctypes bindings for Gnome libraries.
ctypes-bindings gobject-introspection ocaml
Last synced: 24 Oct 2024
https://github.com/erizocosmico/ocaml-socialpeek
OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML.
ocaml opengraph social twitter twitter-cards
Last synced: 15 Dec 2024
https://github.com/slotthe/advent
Advent of Code—now with even more languages!
advent-of-code apl bqn clojure haskell ocaml python rust
Last synced: 14 Oct 2024
https://github.com/jchavarri/bsb-vscode-task-adaptor
A script that integrates the output from bsb into vscode tasks using problem matchers
bsb bucklescript ocaml reasonml vscode vscode-tasks
Last synced: 12 Oct 2024
https://github.com/bbc2/mini-android
Static analyzer for Android-like applications
android ocaml research-project static-analyzer toy-language
Last synced: 13 Oct 2024
https://github.com/toktok/apidsl
DSL for C APIs to aid consistency of naming schemes and comments.
consistency dsl naming-schemes ocaml
Last synced: 17 Nov 2024
https://github.com/smondet/omake-hacks
Library of OMake scripts to include in your projects (DEPRECATED)
Last synced: 08 Jan 2025
https://github.com/hannesm/mirageos-bobkonf2019-tutorial
MirageOS unikernels used for bobkonf 2019 tutorial
example functional-programming mirageos ocaml tutorial unikernel
Last synced: 24 Oct 2024
https://github.com/gfngfn/tex_of_ocaml
A compiler for untyped lambda terms to TeX code
ocaml rust tex virtual-machine
Last synced: 11 Oct 2024
https://github.com/rodrigooler/everglow
Parser converts javascript or typescriot code to ReasonML
javascript js ocaml parser reasonml typescript
Last synced: 21 Nov 2024
https://github.com/palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
cakeml coq fitch-proofs hol4 ocaml ott propositional-logic
Last synced: 10 Oct 2024
https://github.com/giulioz/mlem
👨🏼💻👅 A Tiny ML-like language for research purposes
compiler functional haskell language ml nearley ocaml parser types
Last synced: 15 Oct 2024
https://github.com/jochasinga/ml-brainfuck
Brainfuck interpreter written in Ocaml
brainfuck brainfuck-interpreter ocaml
Last synced: 18 Oct 2024
https://github.com/wllfaria/terml
Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease
cli ocaml terminal terminal-ui tui
Last synced: 12 Oct 2024
https://github.com/paurkedal/ppx_deriving_random
Syntax extension to generate random instances of types
Last synced: 12 Nov 2024
https://github.com/9glenda/ocaml-flake
`flake-parts` module for ocaml
flake-parts nix nix-flake ocaml
Last synced: 14 Dec 2024
https://github.com/hcarty/ppx_interpolate
WIP ppx for string interpolation in OCaml
lexer ocaml ocaml-extension ppx string-interpolation
Last synced: 13 Nov 2024
https://github.com/vaquierm/golite_transpiler
💻 Transpiler written in OCaml that that converts a subset of golang to C++
code-generation cpp golang ocaml parser scanner transpiler
Last synced: 21 Nov 2024
https://github.com/noti0na1/gadtformat
Type-safe Format using GADT in OCaml
Last synced: 28 Oct 2024
https://github.com/jmid/lcheck
A library for quickchecking lattice modules and associated operations
embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck
Last synced: 01 Dec 2024
https://github.com/ProofGeneral/opam-switch-mode
Select OCaml opam switches via a menu or using a command
emacs merlin ocaml opam proof-general tuareg
Last synced: 18 Nov 2024
https://github.com/andersfugmann/borderline
Firewall compiler for Ipv4/6
firewall ipv4 ipv6-address ocaml
Last synced: 18 Oct 2024
https://github.com/winoteam-archives/rescript-big
🎡 Zero-cost bindings to Big.js library.
bigjs decimals ocaml reasonml rescript rescript-binding
Last synced: 29 Sep 2024
https://github.com/dogweather/language-comparison
A GraphQL server prototyped in many languages
crystal elixir graphql-server ocaml python rust typescript
Last synced: 28 Oct 2024
https://github.com/sampsyo/lang-start
skeleton for a language implementation in OCaml
Last synced: 24 Oct 2024
https://github.com/ultirequiem/ocaml-org-learn
🐪 Learning Ocaml with the official resources
Last synced: 24 Oct 2024
https://github.com/cassanof/stiletto
A Compiler written in ML for a python-like (mostly) functional language
compiler-design compilers functional-programming ocaml python
Last synced: 29 Nov 2024
https://github.com/jdan/bs-redux-example
An experiment in writing Redux reducers using OCaml
Last synced: 08 Nov 2024
https://github.com/patricoferris/irmin-browser-tests
Testing various Irmin backends in the browser
Last synced: 07 Dec 2024
https://github.com/imandra-ai/socket.io-client-ocaml
OCaml socket.io client
Last synced: 22 Nov 2024
https://github.com/smartlogic/reasonsplash
Unsplash mobile client built with ReasonML
ocaml react reactjs reason-react reasonml unsplash
Last synced: 17 Nov 2024
https://github.com/mlms13/bs-nonempty
NonEmpty type with Array and List implementations for ReasonML and OCaml
bucklescript collections functional-programming list nonemptylist ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/smolkaj/ocaml-python
Minimalistic setup for running Python scripts from OCaml
boilerplate ipc ocaml python skeleton
Last synced: 10 Nov 2024
https://github.com/pedronauck/reason-todo-example
Just a simple todo app built with ReasonML
ocaml react react-reason reasonml
Last synced: 28 Oct 2024
https://github.com/zshipko/ocaml-ezsqlite
Simple SQLite3 bindings for OCaml
Last synced: 13 Oct 2024
https://github.com/zshipko/resp-server
An OCaml library for building servers that speak RESP
Last synced: 13 Oct 2024
https://github.com/nholland94/spirv-ocaml
A code-generated SPIR-V compiler for ocaml.
code-generator compiler graphics ocaml ocaml-library parallel-computing spir-v
Last synced: 12 Oct 2024
https://github.com/fxfactorial/bs-web3
bucklescript bindings to web3 IGNORE THIS: USE https://github.com/fxfactorial/ethereum-re
bucklescript bucklescript-bindings ethereum ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/proofgeneral/opam-switch-mode
Select OCaml opam switches via a menu or using a command
emacs merlin ocaml opam proof-general tuareg
Last synced: 15 Nov 2024
https://github.com/susisu/est-ocaml
A simple command line tool for statistical calculation
Last synced: 10 Oct 2024
https://github.com/jhu-pl-lab/dde
Pure Demand Operational Semantics
abstract-interpretation coq interpreter ocaml operational-semantics program-analysis
Last synced: 10 Oct 2024
https://github.com/diskuv/dkcoder
OCaml-based scripting for small utilities all the way to larger apps including games and production services. Supports LSP/IDE dev experience and transparent installation. Designed for both your own personal scripting and for SaaS/games/etc to distribute clients, CLIs and mod kits.
installer ocaml scripting scripting-games services webhooks
Last synced: 12 Oct 2024
https://github.com/andreypopp/ppx_deriving
a collection of ppx deriving plugins
Last synced: 12 Oct 2024
https://github.com/evilmartians/foundry-lib
Foundry standard library and examples (public)
foundry ocaml programming-language
Last synced: 14 Nov 2024
https://github.com/ahrefs/react-alicante-workshop
Public repo for the "Write maintainable React applications using OCaml" React Alicante workshop
melange ocaml reactjs reason-react reasonml workshop-materials
Last synced: 12 Oct 2024
https://github.com/lindig/certify
Minimal and pure OCaml tool to create SSL certificates for a host.
Last synced: 11 Nov 2024
https://github.com/idkjs/reason-react-native-cross-platform-starter
Starter for React-Native-Web, Reason, reason-react-native, ios, android and web app and React Hooks.
bs-react-native hooks ocaml react-native reasonml
Last synced: 10 Dec 2024
https://github.com/elzibus/the-functional-approach-to-programming
Ocaml code from the book by Cousineau and Mauny (1998)
Last synced: 14 Nov 2024
https://github.com/patricoferris/ocaml-multiformat
OCaml implementations of multihash, multiaddr, multibase and multicodec
Last synced: 07 Dec 2024
https://github.com/isaac-defrain/dependent
An implementation of dependently typed lambda calculus
cli dependent-types lambda-calculus ocaml proof
Last synced: 15 Dec 2024
https://github.com/hcarty/lwt-binio
Lwt-based module for reading binary numbers
asynchronous binary-data lwt ocaml
Last synced: 13 Nov 2024
https://github.com/frectonz/birru_cli
A simple CLI tool the gets data from the Birru API for getting birr forex data.
Last synced: 14 Nov 2024