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-20 00:19:25 UTC
- JSON Representation
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/fxfactorial/bs-web3
bucklescript bindings to web3 IGNORE THIS: USE https://github.com/fxfactorial/ethereum-re
bucklescript bucklescript-bindings ethereum ocaml reasonml
Last synced: 20 Jan 2025
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/evilmartians/foundry-lib
Foundry standard library and examples (public)
foundry ocaml programming-language
Last synced: 14 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/cfcs/ocaml-wildcard
Wildcard matching of DNS labels, and a tree structure with associated data
Last synced: 17 Jan 2025
https://github.com/jubnzv/evm-decompiler
EVM bytecode decompiler
decompiler evm evm-bytecode ocaml
Last synced: 17 Oct 2024
https://github.com/hannesm/randomconv
Convert random byte vectors to numbers
Last synced: 09 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/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/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/patricoferris/ocaml-multiformat
OCaml implementations of multihash, multiaddr, multibase and multicodec
Last synced: 07 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/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/joelburget/monaco-ocaml
Ocaml bindings to Microsoft's Monaco editor
Last synced: 03 Dec 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/turbomack/bs-platform.nix
BuckleScript via nix made easy
bucklescript javascript nix nixos ocaml reasonml web
Last synced: 16 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/paurkedal/panograph
Data-Centric Widgets for Eliom
eliom ocaml ocaml-library ocsigen
Last synced: 20 Jan 2025
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/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/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/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/beeceej/lgtm
LGTM
actions fun funn github github-actions hacktoberfest hacktoberfest-accepted lgtm ocaml
Last synced: 30 Nov 2024
https://github.com/samtebbs33/ghica
Esoteric programming language inspired by a certain Romanian lecturer
Last synced: 28 Nov 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/owlbarn/tutorial
Owl Tutorial
analytics book data-science functional-programming numerical ocaml owl scientific-computing tutorials
Last synced: 13 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/benbellick/ppx_deriving_decoders
Auto generate decoders for OCaml
decoders json make-life-easy ocaml ppx
Last synced: 18 Dec 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/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/v0idpwn/chatwheel
API + Telegram bot + SPA for Dota 2 hero voicelines
Last synced: 24 Nov 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/rishit7/ocamlbasedlexer-parser
A Simple Lexer and Parser written in Ocamllex and Menhir
Last synced: 12 Oct 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/mxz96102/ocamlsystemcn
OCaml 的官方文档中文翻译，以学习和推广为目的
chinese-translation documents ocaml
Last synced: 13 Oct 2024
https://github.com/gmalecha/coq-plugin-utils
Useful utility functions for writing Coq plugins
Last synced: 25 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/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/hcarty/lwt-binio
Lwt-based module for reading binary numbers
asynchronous binary-data lwt ocaml
Last synced: 13 Nov 2024
https://github.com/bbc2/vsl-interpreter
Interpreter for VSL+
interpreter ocaml toy-language
Last synced: 26 Nov 2024
https://github.com/lindig/jbuild-pp
Pretty printer for jbuilder's jbuild files
Last synced: 11 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/rishit7/prolog-interpreter
A Mini Prolog interpreter written in OCaml
ocaml prolog prolog-interpreter
Last synced: 11 Jan 2025
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/theteachr/eleet_camel
Collection of solutions to LeetCode problems (in OCaml)
Last synced: 11 Jan 2025
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/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/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/red-rapious/ocaml-playground
Just me having fun, experimenting, and doing my CS assignments with OCaml.
Last synced: 11 Jan 2025
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/palmskog/chip
Change impact analysis in Coq and OCaml
coq impact-analysis mathcomp ocaml proof ssreflect
Last synced: 24 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/aloussase/miniml
MiniML in various PLs. Add yours!
haskell ocaml plzoo programming-languages rust
Last synced: 24 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/khayyamsaleem/ocaml-fs-experiment
a repo for a full-stack ocaml web app
Last synced: 14 Jan 2025
https://github.com/remexre/extlint
An extensible linter for OCaml programs.
Last synced: 22 Dec 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/charlesaverill/gofr
A Programming Language controlled by the game of Go
board-game dsl esoteric-language go-game ocaml
Last synced: 14 Jan 2025
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/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/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/unixjunkie/ofts
OCaml fuzzy type search
command-line-tool hoogle ocaml ocaml-program search-engine types
Last synced: 19 Dec 2024
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/gauben/pffft
Programmation fonctionnelle : un fantastique framework de test
mathematical-programming ocaml testing-framework
Last synced: 11 Jan 2025
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
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/c-cube/ldl
[TOY] loop-dee-loop, an event loop
epoll event-loop kqueue ocaml ocaml5 toy
Last synced: 17 Jan 2025
https://github.com/adamjstewart/prolog
An implementation of Prolog written in OCaml
ocaml prolog prolog-interpreter
Last synced: 06 Jan 2025
