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/diningphilosophersco/ocaml-internals
Docusaurus website maintaining notes about the OCaml compiler's internals
Last synced: 12 Oct 2024
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/c-cube/iterators_bench
[bench] benchmark of various iterator implementations
benchmark flambda iterators iterators-bench ocaml
Last synced: 16 Nov 2024
https://github.com/paurkedal/panograph
Data-Centric Widgets for Eliom
eliom ocaml ocaml-library ocsigen
Last synced: 12 Nov 2024
https://github.com/joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
Last synced: 03 Dec 2024
https://github.com/v0idpwn/chatwheel
API + Telegram bot + SPA for Dota 2 hero voicelines
Last synced: 24 Nov 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/unixjunkie/nfsopam
wrapper shell script to run opam faster when your $HOME is served via NFS
Last synced: 04 Dec 2024
https://github.com/jubnzv/evm-decompiler
EVM bytecode decompiler
decompiler evm evm-bytecode ocaml
Last synced: 17 Oct 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/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/xandkar/dropbox-conflicts
Build a tree of conflict dependencies in your Droppbox directory
Last synced: 20 Dec 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/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/gmalecha/coq-plugin-utils
Useful utility functions for writing Coq plugins
Last synced: 25 Nov 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/drup/opam-dot
A simple command to show the graph of dependencies of a package.
Last synced: 12 Oct 2024
https://github.com/lindig/jbuild-pp
Pretty printer for jbuilder's jbuild files
Last synced: 11 Nov 2024
https://github.com/bbc2/vsl-interpreter
Interpreter for VSL+
interpreter ocaml toy-language
Last synced: 26 Nov 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/turbomack/bs-platform.nix
BuckleScript via nix made easy
bucklescript javascript nix nixos ocaml reasonml web
Last synced: 16 Oct 2024
https://github.com/hannesm/randomconv
Convert random byte vectors to numbers
Last synced: 09 Nov 2024
https://github.com/bynect/algorithm-w
Type inference implementation in OCaml using Algorithm W
functional-language functional-programming hindley-milner ocaml type-inference type-system
Last synced: 19 Nov 2024
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/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/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/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/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/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/samtebbs33/ghica
Esoteric programming language inspired by a certain Romanian lecturer
Last synced: 28 Nov 2024
https://github.com/mxz96102/ocamlsystemcn
OCaml 的官方文档中文翻译，以学习和推广为目的
chinese-translation documents ocaml
Last synced: 13 Oct 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: 12 Oct 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/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/c-cube/neperien
[unfinished] structured, hierarchical log system for OCaml
bare hierarchical log ocaml structured-logging
Last synced: 12 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/zachariahreed/cmsis-svd-tools
Tools for working with ARM CMSIS SVD files
Last synced: 13 Nov 2024
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/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/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/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/distributedcomponents/verdi-runtime
Verdi framework runtime library
network-library ocaml ocaml-library runtime-system verdi
Last synced: 01 Dec 2024
https://github.com/acorrenson/pym-s
Python with a sweet functionnal taste
functional-programming ocaml python transpiler typedef
Last synced: 20 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: 20 Nov 2024
https://github.com/rodrigooler/react-reasonml-with-parceljs
Boilerplate
ocaml parcel parcel-bundler reason reason-react reasonml web webapp
Last synced: 21 Nov 2024
https://github.com/sean-clayton/satchel
A fun little inventory-management UI a-la Diablo or Path of Exile.
bucklescript game-ui ocaml react reactjs reason-react reasonml ui-design
Last synced: 25 Dec 2024
https://github.com/adamjstewart/prolog
An implementation of Prolog written in OCaml
ocaml prolog prolog-interpreter
Last synced: 06 Jan 2025
https://github.com/khayyamsaleem/ocaml-fs-experiment
a repo for a full-stack ocaml web app
Last synced: 14 Nov 2024
https://github.com/paurkedal/ocaml-kojson
Combinators for matching JSON
json ocaml parser-combinators yojson
Last synced: 12 Nov 2024
https://github.com/c-cube/ldl
[TOY] loop-dee-loop, an event loop
epoll event-loop kqueue ocaml ocaml5 toy
Last synced: 16 Nov 2024
https://github.com/palmskog/chip
Change impact analysis in Coq and OCaml
coq impact-analysis mathcomp ocaml proof ssreflect
Last synced: 24 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/ahrefs/passage
store and manage access to shared secrets
Last synced: 22 Dec 2024
https://github.com/gauben/pffft
Programmation fonctionnelle : un fantastique framework de test
mathematical-programming ocaml testing-framework
Last synced: 12 Nov 2024
https://github.com/marigold-dev/tztools
By Tezos developers, for Tezos developers.
Last synced: 28 Dec 2024
https://github.com/imandra-ai/batsmt-ocaml
OCaml bindings for batsmt
cdcl ocaml rust rust-bindings smt
Last synced: 22 Nov 2024
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/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/red-rapious/ocaml-playground
Just me having fun, experimenting, and doing my CS assignments with OCaml.
Last synced: 12 Nov 2024
https://github.com/frectonz/advent_of_code_2023
Solutions for advent of code 2023
advent-of-code advent-of-code-2023 elm ocaml rust
Last synced: 20 Nov 2024
https://github.com/lindig/xen-ocaml-tools
The OCaml code from the Xen hypervisor
Last synced: 10 Jan 2025
https://github.com/charlesaverill/gofr
A Programming Language controlled by the game of Go
board-game dsl esoteric-language go-game ocaml
Last synced: 14 Nov 2024
https://github.com/xhtmlboi/blogger
The source code of the generator and the content of my blog, naively using YOCaml
blog champion java ocaml static-site-generator wordpress
Last synced: 27 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/maxchrr/float32
IEEE 754 Single-precision encoder/decoder tool.
floating-point ieee754 ocaml university-project
Last synced: 12 Oct 2024
https://github.com/hcarty/ocaml-grib
OCaml bindings to the ECMWF's GRIB API
grib grib-api ocaml ocaml-bindings weather
Last synced: 13 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/remexre/extlint
An extensible linter for OCaml programs.
Last synced: 22 Dec 2024
https://github.com/emilerolley/ltl2ba
Compiler of LTL formula to Büchi automata
buchi-automata ltl ltl-formula ltl2ba ocaml
Last synced: 15 Dec 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: 13 Nov 2024
https://github.com/charlesaverill/volpic
Verifier of Lifted Pascal in Coq
coq formal-verification metafont ocaml tex
Last synced: 10 Oct 2024