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/ahrefs/jsonschema2atd
Generate ATD types from a JSON schema / OpenAPI document
Last synced: 07 Nov 2024
https://github.com/leostera/rules_reason
πReason/OCaml rules and tools for Bazel
bazel bazel-rules bucklescript javascript ocaml reasonml
Last synced: 29 Oct 2024
https://github.com/patricoferris/jsoo-mithril
Js_of_ocaml bindings for MithrilJS
Last synced: 07 Dec 2024
https://github.com/arocks/punchscript
A programming language made up of Rajinikanth punch dialogues
compiler interpreter menhir ocaml rajinikanth
Last synced: 28 Oct 2024
https://github.com/FabienHenon/bs-remotedata
RemoteData and WebData to use with bs-fetch for BuckleScript
bucklescript http ocaml reason reasonml remotedata webdata
Last synced: 14 Nov 2024
https://github.com/fabienhenon/bs-remotedata
RemoteData and WebData to use with bs-fetch for BuckleScript
bucklescript http ocaml reason reasonml remotedata webdata
Last synced: 12 Oct 2024
https://github.com/redprl/kado
π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theory
cubical-type-theory homotopy-type-theory ocaml ocaml-library proof-assistant type-theory
Last synced: 10 Nov 2024
https://github.com/muhokama/ring
A statically generated webring with YOCaml, because we love small-web
ocaml smallweb syndication webring
Last synced: 12 Oct 2024
https://github.com/misakacenter/raytracer.ml
π Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
computer-graphics ocaml raytracing raytracing-one-weekend
Last synced: 28 Oct 2024
https://github.com/rlepigre/pml
New version of the PML language and (classical) proof assistant
classical-logic ocaml pml program-equivalence proof-assistant
Last synced: 20 Nov 2024
https://github.com/mirage/mirage-xen
Xen core platform libraries for MirageOS
mirage-platform mirageos ocaml xen
Last synced: 11 Nov 2024
https://github.com/unixjunkie/acpc
Chemoinformatics tool for ligand-based virtual screening
chemoinformatics lbvs ligand ocaml partial-charges
Last synced: 15 Oct 2024
https://github.com/gitpod-samples/template-ocaml
A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Last synced: 24 Nov 2024
https://github.com/tmcgilchrist/tiger
Compiler for Tiger language from "Modern Compiler Implementation in ML"
Last synced: 28 Oct 2024
https://github.com/c-cube/maki
[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
caching memoization merkle-dag ocaml persistent
Last synced: 12 Oct 2024
https://github.com/gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
decoder encoder fonts ocaml ocaml-library opentype
Last synced: 28 Oct 2024
https://github.com/coq-community/coq-plugin-template
Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
coq coq-plugin dune ocaml template template-repository
Last synced: 24 Nov 2024
https://github.com/schniz/sapapa
A soothing CouchDB client for Reason and OCaml
couchdb couchdb-client ocaml reasonml
Last synced: 26 Dec 2024
https://github.com/khady/ocaml-junit
OCaml package to produce JUnit xml reports
ci jenkins junit junit-xml-reports ocaml test
Last synced: 23 Nov 2024
https://github.com/linoscope/caml8
A CHIP8 emulator written in OCaml
chip-8 chip8 chip8-emulator ocaml sdl tsdl
Last synced: 30 Oct 2024
https://github.com/andreypopp/sqlpp
relation query language, with typed embedding into OCaml
Last synced: 12 Oct 2024
https://github.com/cedlemo/ocaml-gobject-introspection
OCaml bindings to GObject-Introspection based on OCaml-Ctypes.
ctypes ffi-bindings gobject-introspection ocaml ocaml-bindings
Last synced: 09 Nov 2024
https://github.com/hcarty/ppx_defer
OCaml extension for a Go-ish [%defer ...] syntax
Last synced: 13 Nov 2024
https://github.com/anhnguyen1618/tiger-ocaml-llvm-compiler
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
Last synced: 15 Dec 2024
https://github.com/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 10 Oct 2024
https://github.com/revery-ui/revery-playground
Live, interactive playground for Revery examples
functional-programming live-coding ocaml playground reason reasonml revery
Last synced: 13 Nov 2024
https://github.com/manasjayanth/reason-on-multicore
Writing multicore programs with Reason
Last synced: 12 Oct 2024
https://github.com/toadharvard/lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
functional-programming lambda-calculus ocaml
Last synced: 12 Oct 2024
https://gitlab.com/gopiandcode/gopcaml-mode
Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs.
editor emacs ocaml structural-editing
Last synced: 17 Nov 2024
https://github.com/jin/scheme.ml
Scheme (R6RS subset) interpreter written in OCaml
Last synced: 30 Oct 2024
https://github.com/akabe/docker-ocaml
Minimum docker images for OCaml+OPAM
docker functional-programming ocaml opam
Last synced: 30 Oct 2024
https://github.com/anuragsoni/http_async
Asynchronous HTTP 1.1 server for OCaml
async http http-server http11 ocaml server
Last synced: 30 Oct 2024
https://github.com/astrocoders/bacen-exchange-rates
Reason API to fetch the daily reports from BACEN PTAX exchanges
Last synced: 09 Nov 2024
https://github.com/hcarty/lwt-zmq
DEPRECATED - Use the main ocaml-zmq project instead
Last synced: 13 Nov 2024
https://github.com/kiranandcode/simple-pleroma-comments
Free, open source web commenting system in a single script (no-analytics, privacy friendly)!
activitypub comments comments-system ocaml pleroma privacy
Last synced: 28 Oct 2024
https://github.com/hcarty/ocaml-plplot
OCaml bindings for PLplot
graphics ocaml ocaml-bindings plot plotting plplot
Last synced: 13 Nov 2024
https://github.com/chris00/ocaml-interval
An interval library for OCaml
computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated
Last synced: 29 Oct 2024
https://github.com/ocaml-doc/odoc-parser
An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
Last synced: 21 Nov 2024
https://github.com/ManasJayanth/reason-on-multicore
Writing multicore programs with Reason
Last synced: 14 Nov 2024
https://github.com/cedlemo/ocaml-libmpdclient
mpd client library implementation in OCaml.
mpd mpd-client ocaml ocaml-libmpdclient
Last synced: 09 Nov 2024
https://github.com/c-cube/thread-local-storage
thread-local storage for OCaml
Last synced: 28 Oct 2024
https://github.com/bn-d/ppx_make
[@@ deriving] plugin to generate make functions.
Last synced: 14 Nov 2024
https://github.com/leonidas-from-xiv/orewa
An Async-friendly Redis binding
async hacktoberfest ocaml redis redis-client
Last synced: 12 Oct 2024
https://github.com/t4rm/mcq
Standalone project for OCaml Multiple Choice Question
mcq ocaml reactjs tailwindcss web
Last synced: 12 Oct 2024
https://github.com/onivim/reason-textmate
ReasonML native library for working with TextMate grammars
highlighting ocaml reasonml syntax textmate
Last synced: 08 Nov 2024
https://github.com/fabe/t-rex-runner-reason
π¦ The T-Rex Runner Game from Chrome written in Reason
ocaml reason reasonml reprocessing t-rex-runner
Last synced: 27 Oct 2024
https://github.com/cryptosense/ocaml-zxcvbn
Ocaml bindings for the zxcvbn password strength estimation library
bindings ocaml password-strength zxcvbn
Last synced: 06 Nov 2024
https://github.com/gjaldon/simple-diff
A simple diff algorithm in pure OCaml
Last synced: 27 Oct 2024
https://github.com/imandra-ai/ocaml-cimgui
[wip] bindings to Dear Imgui for OCaml.
bindings ctypes dear-imgui imgui ocaml
Last synced: 22 Nov 2024
https://github.com/lukemorales/funkcia
haskell nim ocaml option option-pattern option-type optional result result-pattern result-type rust scala type-safety typescript
Last synced: 05 Jan 2025
https://github.com/cryptosense/key-parsers
OCaml parsers for multiple key formats
cryptography ocaml ocaml-library parsers
Last synced: 06 Nov 2024
https://github.com/imandra-ai/imandra-ros
Imandra ROS
formal-verification imandra ocaml robotics ros
Last synced: 22 Nov 2024
https://github.com/sternenseemann/logbook
A tool for keeping a personal log
diary html logbook markdown markup ocaml static-site-generator
Last synced: 12 Oct 2024
https://github.com/tsileo/entries.pub
WIP IndieWeb blog engine
blog-engine entriespub indieauth indieweb irmin micropub ocaml webmention websub
Last synced: 12 Oct 2024
https://github.com/sebthom/extra-syntax-highlighting-eclipse-plugin
Eclipse plugin that provides syntax highlighing support for additional languages.
bazel eclipse eclipse-plugin editor glsl graphql graphviz-dot hcl json5 kotlin nushell ocaml plantuml prisma sentinel svelte syntax-highlighting terraform toml zig
Last synced: 17 Nov 2024
https://github.com/redprl/bantorra
π A library for managing libraries and resolving unit paths
Last synced: 10 Nov 2024
https://github.com/mjambon/ocaml-layer
Make your own OCaml base image for fast CI jobs
Last synced: 02 Nov 2024
https://github.com/mmottl/pomap
OCaml library for partially ordered maps
concept-lattice datastructures hasse-diagram ocaml partial-orders
Last synced: 09 Nov 2024
https://github.com/ml-in-barcelona/jsoo-css
CSS Typed functional interface in jsoo, bindings to inline styles and emotion
css css-in-js js-of-ocaml jsoo ocaml reason
Last synced: 23 Nov 2024
https://github.com/marigold-dev/easier-proofs
A project which aim to help engineers to make proves easily
coq ocaml proof-assistant safety
Last synced: 10 Oct 2024
https://github.com/tokenrove/tsdl-image
OCaml SDL2_image bindings to go with Tsdl
Last synced: 29 Oct 2024
https://github.com/erueri/oyomu
A command line comic reader and collection manager
cli comics-collection comics-reader ocaml terminal
Last synced: 13 Nov 2024
https://github.com/gaultier/lox-ocaml
Implementation of the Lox language in OCaml
compiler interpreter lox lox-language ocaml
Last synced: 21 Nov 2024
https://github.com/coq-community/huffman
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
coq coq-extraction coq-nix-toolbox docker-coq-action huffman-coding huffman-tree ocaml
Last synced: 24 Nov 2024
https://github.com/c-cube/ocaml-gnuplot
bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
Last synced: 28 Oct 2024
https://github.com/gfngfn/apbuf
Algebraic protocol buffers
elm json-decoder json-encoder json-parser ocaml scala sesterl
Last synced: 11 Oct 2024
https://github.com/mirage/mirage-unix
Unix core platform libraries for MirageOS
mirage-platform mirageos ocaml unix
Last synced: 11 Nov 2024
https://github.com/tahnik/graphqlx
A GraphQL client written in OCaml and JavaScript
bucklescript graphql javascript ocaml
Last synced: 27 Oct 2024
https://github.com/leonidas-from-xiv/ocaml-wiringpi
Binding to the WiringPi library
hacktoberfest ocaml raspberry raspberry-pi raspberrypi wiringpi
Last synced: 12 Oct 2024
https://github.com/linoscope/okasaki-book-ocaml
Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
data-structures ocaml purely-functional-data-structures
Last synced: 30 Oct 2024
https://github.com/imandra-ai/cme-mdp
Imandra Modelling Language CME MDP Model
automated-reasoning cme formal-methods formal-verification imandra imandra-markets market-data market-data-handler mdp ocaml protocol
Last synced: 22 Nov 2024
https://github.com/lkwq007/rockstar-ml
Rockstar interpreter in OCaml
esoteric-language interpreter ocaml rockstar rockstar-language rockstar-programmer
Last synced: 13 Nov 2024
https://github.com/jottenlips/agave
π― Sweet simple static site generator
agave agave-generator dune github-pages hacktoberfest hacktoberfest2020 html markdown md microblog npm ocaml opam reasonml ssg static-site static-site-generator themes
Last synced: 07 Nov 2024
https://github.com/cryptosense/ppx_factory
OCaml preprocessor to derive factory methods and default values from type definitions
Last synced: 06 Nov 2024
https://github.com/astrocoders/bs-package-boilerplate
A BuckleScript NPM package boilerplate
Last synced: 12 Oct 2024
https://github.com/pfnet-research/atpg4sv
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
atpg concolic-execution ocaml smt-solver symbolic-execution system-verilog
Last synced: 15 Nov 2024
https://github.com/paurkedal/ocaml-bitpath
Efficient bit-string type along with containers to partition data on variable-length bit-strings.
bitset data-structures ip-address ocaml
Last synced: 12 Nov 2024
