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-23 00:17:44 UTC
- JSON Representation
https://github.com/evilmartians/foundry-lib
Foundry standard library and examples (public)
foundry ocaml programming-language
Last synced: 14 Nov 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/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/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/noti0na1/gadtformat
Type-safe Format using GADT in OCaml
Last synced: 28 Oct 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/smartlogic/reasonsplash
Unsplash mobile client built with ReasonML
ocaml react reactjs reason-react reasonml unsplash
Last synced: 17 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/winoteam-archives/rescript-big
🎡 Zero-cost bindings to Big.js library.
bigjs decimals ocaml reasonml rescript rescript-binding
Last synced: 23 Jan 2025
https://github.com/patricoferris/ocaml-multiformat
OCaml implementations of multihash, multiaddr, multibase and multicodec
Last synced: 07 Dec 2024
https://github.com/arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
kanren logic logic-programming microkanren minikanren ocaml relations
Last synced: 20 Dec 2024
https://github.com/rishit7/ocamlbasedlexer-parser
A Simple Lexer and Parser written in Ocamllex and Menhir
Last synced: 12 Oct 2024
https://github.com/theteachr/eleet_camel
Collection of solutions to LeetCode problems (in OCaml)
Last synced: 11 Jan 2025
https://github.com/c-cube/andes
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
logic-programming memoization ocaml prototype
Last synced: 12 Oct 2024
https://github.com/gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
ocaml opam opam-repository satysfi
Last synced: 11 Oct 2024
https://github.com/c-cube/neperien
[unfinished] structured, hierarchical log system for OCaml
bare hierarchical log ocaml structured-logging
Last synced: 12 Oct 2024
https://github.com/gmalecha/coq-plugin-utils
Useful utility functions for writing Coq plugins
Last synced: 25 Nov 2024
https://github.com/meanderingprogrammer/advent-of-code
Public Repo for Advent of Code Solutions
advent-of-code advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 go ocaml python rust
Last synced: 11 Oct 2024
https://github.com/rishit7/toy-lang
A Simple Toy language made in Prolog and OCaml
krivine-machine ocaml prolog secd toy-language
Last synced: 11 Jan 2025
https://github.com/diskuv/scoutapps
Sonic Scout is scouting software for First Robotics competitions.
first-robotics first-robotics-scouting ocaml robotics robotics-competition
Last synced: 12 Oct 2024
https://github.com/diningphilosophersco/ocaml-internals
Docusaurus website maintaining notes about the OCaml compiler's internals
Last synced: 12 Oct 2024
https://github.com/turbomack/bs-platform.nix
BuckleScript via nix made easy
bucklescript javascript nix nixos ocaml reasonml web
Last synced: 16 Oct 2024
https://github.com/jimberlage/bs-intl
Intl bindings for Bucklescript
bucklescript i18n intl ocaml reason reasonml
Last synced: 12 Oct 2024
https://github.com/cfcs/ocaml-wildcard
Wildcard matching of DNS labels, and a tree structure with associated data
Last synced: 17 Jan 2025
https://github.com/erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)
coq emacs ocaml opam proof-general wsl
Last synced: 28 Oct 2024
https://github.com/hannesm/randomconv
Convert random byte vectors to numbers
Last synced: 09 Nov 2024
https://github.com/verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
coq curry-howard-isomorphism formal-verification higher-order-functions invariant-inference ocaml pldi-artifact proof-repair separation-logic
Last synced: 12 Oct 2024
https://github.com/jubnzv/evm-decompiler
EVM bytecode decompiler
decompiler evm evm-bytecode ocaml
Last synced: 17 Oct 2024
https://github.com/bbc2/vsl-interpreter
Interpreter for VSL+
interpreter ocaml toy-language
Last synced: 26 Jan 2025
https://github.com/xandkar/dropbox-conflicts
Build a tree of conflict dependencies in your Droppbox directory
Last synced: 20 Dec 2024
https://github.com/ucsd-progsys/yunounderstand-data
A collection of novice interactions with the OCaml top-level.
functional-programming homework homework-problem ocaml user-study
Last synced: 24 Dec 2024
https://github.com/smimram/proof-assistant-project
Template for the proof assistant project CSC_51051_EP.
logic ocaml proof-assistant template
Last synced: 12 Oct 2024
https://github.com/cwithmichael/ocaml-game-geek
OCaml Game Geek is centered around building a GraphQL server that mimics some of the functionality of Board Game Geek.
dream graphql graphql-server ocaml
Last synced: 09 Nov 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/frectonz/birru_cli
A simple CLI tool the gets data from the Birru API for getting birr forex data.
Last synced: 14 Nov 2024
https://github.com/kamirus/ray-tracer
Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
depth-of-field global-illumination ocaml plane ray-tracer rays renderer soft-shadows sphere
Last synced: 21 Dec 2024
https://github.com/paurkedal/panograph
Data-Centric Widgets for Eliom
eliom ocaml ocaml-library ocsigen
Last synced: 20 Jan 2025
https://github.com/benbellick/ppx_deriving_decoders
Auto generate decoders for OCaml
decoders json make-life-easy ocaml ppx
Last synced: 18 Dec 2024
https://github.com/beeceej/lgtm
LGTM
actions fun funn github github-actions hacktoberfest hacktoberfest-accepted lgtm ocaml
Last synced: 30 Nov 2024
https://github.com/owlbarn/tutorial
Owl Tutorial
analytics book data-science functional-programming numerical ocaml owl scientific-computing tutorials
Last synced: 13 Nov 2024
https://github.com/erueri/kosu-lang
Trying to make a programming language
compiler ocaml programming-language
Last synced: 13 Nov 2024
https://github.com/adiatma/intip-chrome-extensions
Chrome extension with CRA + ReScript
chrome-extension-react creact-react-app ocaml rescript rescript-react
Last synced: 12 Jan 2025
https://github.com/ahrefs/reshowcase
A tool to create demos for your ReasonReact components
melange ocaml reason reason-react reasonml
Last synced: 19 Nov 2024
https://github.com/sim642/ocaml-algebra
Small but neat OCaml library of (abstract) algebraic structures
algebra algebraic-structures coding-theory library ocaml ocaml-library university-of-tartu
Last synced: 17 Dec 2024
https://github.com/dsheets/benchmark-osx
Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml
benchmark c golang macos ocaml osx performance swift
Last synced: 14 Jan 2025
https://github.com/merlin04/reed-commons-menu
Bon Appetit cafeteria menu
bon-appetit cafeteria ocaml reed reed-college
Last synced: 16 Nov 2024
https://github.com/acorrenson/ocaml_web_ui
An example of web application written in OCAML
dune incremental-dom jane-street js ocaml webapp
Last synced: 21 Jan 2025
https://github.com/lindig/jbuild-pp
Pretty printer for jbuilder's jbuild files
Last synced: 11 Nov 2024
https://github.com/rishit7/prolog-interpreter
A Mini Prolog interpreter written in OCaml
ocaml prolog prolog-interpreter
Last synced: 11 Jan 2025
https://github.com/mxz96102/ocamlsystemcn
OCaml 的官方文档中文翻译，以学习和推广为目的
chinese-translation documents ocaml
Last synced: 13 Oct 2024
https://github.com/c-cube/iterators_bench
[bench] benchmark of various iterator implementations
benchmark flambda iterators iterators-bench ocaml
Last synced: 16 Nov 2024
https://github.com/v0idpwn/chatwheel
API + Telegram bot + SPA for Dota 2 hero voicelines
Last synced: 24 Nov 2024
https://github.com/unixjunkie/nfsopam
wrapper shell script to run opam faster when your $HOME is served via NFS
Last synced: 04 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/joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
Last synced: 03 Dec 2024
https://github.com/samtebbs33/ghica
Esoteric programming language inspired by a certain Romanian lecturer
Last synced: 28 Nov 2024
https://github.com/acorrenson/pym-s
Python with a sweet functionnal taste
functional-programming ocaml python transpiler typedef
Last synced: 21 Jan 2025
https://github.com/tmattio/mirage-demo
Demo of an HTTP server built with MirageOS, deployed on GCP
Last synced: 17 Dec 2024
https://github.com/emilerolley/vgr-pixmap
Vg renderer in pure OCaml for raster outputs.
Last synced: 15 Dec 2024
https://github.com/anuragsoni/incr_dom_navigation_example
client side navigation in incr_dom applications
Last synced: 17 Dec 2024
https://github.com/drup/opam-dot
A simple command to show the graph of dependencies of a package.
Last synced: 20 Jan 2025
https://github.com/khayyamsaleem/ocaml-fs-experiment
a repo for a full-stack ocaml web app
Last synced: 14 Jan 2025
https://github.com/marigold-dev/tztools
By Tezos developers, for Tezos developers.
Last synced: 28 Dec 2024
https://github.com/cljoly/oclaunch
🚀 Lauch various command, once, when opening a terminal
archived cli command-line-tool launch ocaml
Last synced: 11 Dec 2024
https://github.com/remexre/extlint
An extensible linter for OCaml programs.
Last synced: 22 Dec 2024
https://github.com/radionoisee/misakaii
Atarashi, small, fast and robust bilibili media crawler.
bilibili bilibili-download ffmpeg libcurl ocaml
Last synced: 22 Dec 2024
https://github.com/gauben/pffft
Programmation fonctionnelle : un fantastique framework de test
mathematical-programming ocaml testing-framework
Last synced: 11 Jan 2025
https://github.com/zachariahreed/cmsis-svd-tools
Tools for working with ARM CMSIS SVD files
Last synced: 13 Jan 2025
https://github.com/charlesaverill/volpic
Verifier of Lifted Pascal in Coq
coq formal-verification metafont ocaml tex
Last synced: 10 Oct 2024
https://github.com/naereen/fix-iocaml-notebook-exports-to-pdf
Small :snake: Python script to fix a :camel: IOCaml notebook to have a clean export to PDF (include output values AND types) :wrench: :notebook:
agregation iocaml jupyter-nbconvert jupyter-notebook mit-license ocaml ocaml-notebook
Last synced: 31 Dec 2024
https://github.com/serpent7776/js13k-2020-theme-not-found
Theme not found: My submission to js13k 2020
game hangman html javascript js-of-ocaml js13k js13kgames2020 ocaml
Last synced: 28 Nov 2024
https://github.com/kiranandcode/query-complexity-framework
Framework for empirically exploring query complexity questions
ocaml query-complexity randomized
Last synced: 25 Dec 2024
https://github.com/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 12 Oct 2024
https://github.com/meafmira/bs-react-pdf
react-pdf bindings for bucklescript
bs-react-pdf bucklescript ocaml react react-pdf reason reasonml
Last synced: 12 Oct 2024
https://github.com/zeta611/stappl
🎲 Statically typed probabilistic programming language, feat. GADT
gadt generalized-algebraic-data-type ocaml probabilistic-graphical-models probabilistic-programming type-system
Last synced: 12 Oct 2024
https://github.com/sandromaglione/ocaml-getting-started-advent-of-code-23
Getting started with OCaml and Functional Programming by solving puzzles from Advent of Code 23・Newsletter sandromaglione.com
advent-of-code advent-of-code-2023 advent-of-code-2023-ocaml functional-programming learn-ocaml learn-ocaml-language ocaml
Last synced: 15 Jan 2025
