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-01 00:20:12 UTC
- JSON Representation
https://github.com/hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
category-theory cpp functional-programming haskell latex ocaml pdf scala
Last synced: 30 Dec 2024
https://facebook.github.io/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Last synced: 15 Dec 2024
https://github.com/reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Last synced: 30 Dec 2024
https://github.com/lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
awesome clojure dev elixir emacs-lisp erlang haskell lisp list lua ocaml open-source projects python ruby rust scala typescript
Last synced: 25 Sep 2024
https://github.com/revery-ui/revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
app cross-platform desktop desktop-apps electron native ocaml react reason reasonml ui
Last synced: 02 Jan 2025
https://github.com/facebook/pyre-check
Performant type-checking for python.
abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker
Last synced: 30 Dec 2024
https://github.com/astrada/google-drive-ocamlfuse
FUSE filesystem over Google Drive
filesystem fuse google-drive ocaml
Last synced: 31 Dec 2024
https://github.com/ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
compiler functional-language ocaml
Last synced: 31 Dec 2024
https://github.com/extism/extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust serverless wasm webassembly zig
Last synced: 30 Dec 2024
https://github.com/viebel/klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
brainfuck clojure clojurescript code-evaluation codemirror-editor common-lisp evaluation interactive-snippets javascript klipse-plugin lua ocaml prolog python react reactjs reasonml ruby scheme
Last synced: 31 Dec 2024
https://github.com/fstarlang/fstar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 31 Dec 2024
https://github.com/FStarLang/FStar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Last synced: 03 Nov 2024
https://github.com/binaryanalysisplatform/bap
Binary Analysis Platform
arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86
Last synced: 02 Jan 2025
https://github.com/BinaryAnalysisPlatform/bap
Binary Analysis Platform
arm bap binary-analysis disassembler dynamic-analysis emulator instruction-semantics lifter mips ocaml powerpc program-analysis program-verification reverse-engineering security static-analysis symbolic-execution taint-analysis x86
Last synced: 09 Nov 2024
https://github.com/minaprotocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
blockchain cryptocurrency mina ocaml zk-snarks
Last synced: 31 Dec 2024
https://github.com/MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
blockchain cryptocurrency mina ocaml zk-snarks
Last synced: 07 Nov 2024
https://github.com/aantron/dream
Tidy, feature-complete Web framework
framework graphql http ocaml reasonml web websockets
Last synced: 02 Jan 2025
https://aantron.github.io/dream/
Tidy, feature-complete Web framework
framework graphql http ocaml reasonml web websockets
Last synced: 28 Nov 2024
https://github.com/ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
Last synced: 01 Jan 2025
https://github.com/tezos/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
blockchain ocaml smart-contracts tezos
Last synced: 29 Dec 2024
https://github.com/ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
git ocaml opam package-manager
Last synced: 02 Jan 2025
https://github.com/gfngfn/satysfi
A statically-typed, functional typesetting system
functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system
Last synced: 02 Jan 2025
https://github.com/gfngfn/SATySFi
A statically-typed, functional typesetting system
functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system
Last synced: 30 Oct 2024
https://github.com/leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
caramel compiler elixir erlang functional-language ocaml type-safe
Last synced: 31 Dec 2024
https://github.com/ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
compiler javascript jsoo ocaml ocsigen
Last synced: 02 Jan 2025
https://github.com/hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
editor elm functional-programming holes ocaml reasonml
Last synced: 27 Dec 2024
https://github.com/felix-lang/felix
The Felix Programming Language
c-plus-plus code-generator compiled compiler coroutine-framework coroutines functional-programming ocaml parametric-polymorphism performant platform-independent polymorphism programming programming-language scripting-language static-analysis type-classes
Last synced: 27 Dec 2024
https://github.com/ocaml-multicore/ocaml-multicore
Multicore OCaml
algebraic-effects concurrency handlers multicore ocaml
Last synced: 30 Oct 2024
https://github.com/ocsigen/lwt
OCaml promises and concurrent I/O
asynchronous concurency events fibers futures io lwt ocaml promises
Last synced: 02 Jan 2025
https://github.com/mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
http http-client lwt ocaml unix
Last synced: 27 Dec 2024
https://github.com/inhabitedtype/angstrom
Parser combinators built for speed and memory efficiency
ocaml parser-combinators parsing
Last synced: 27 Dec 2024
https://github.com/reasonml-old/reason-react
bindings bucklescript ocaml react reasonml
Last synced: 29 Dec 2024
https://github.com/artagnon/rhine-ml
🏞 an OCaml compiler for an untyped lisp
compiler llvm ocaml programming-language
Last synced: 25 Sep 2024
https://github.com/OvermindDL1/bucklescript-tea
TEA for Bucklescript
bucklescript bucklescript-tea elm elm-architecture javascript ocaml
Last synced: 14 Nov 2024
https://github.com/overminddl1/bucklescript-tea
TEA for Bucklescript
bucklescript bucklescript-tea elm elm-architecture javascript ocaml
Last synced: 27 Dec 2024
https://github.com/davesnx/query-json
Faster, simpler and more portable implementation of `jq` in Reason
json menhir ocaml reason reason-native reasonml sedlex
Last synced: 30 Dec 2024
https://github.com/riot-ml/riot
An actor-model multi-core scheduler for OCaml 5 🐫
actor-model elixir erlang fault-tolerance multicore multicore-ocaml ocaml otp
Last synced: 28 Dec 2024
https://github.com/ocaml-multicore/eio
Effects-based direct-style IO for multicore OCaml
concurrency effects io multicore ocaml
Last synced: 28 Dec 2024
https://github.com/briskml/brisk
✨Cross-platform set of tools for building native UIs with Reason/OCaml
app brisk cocoa cross-platform desktop electron native ocaml react react-native reason reasonml ui
Last synced: 30 Dec 2024
https://github.com/inhabitedtype/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
Last synced: 28 Dec 2024
https://github.com/linoscope/camlboy
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
emulator gameboy gameboy-emulator ocaml
Last synced: 29 Dec 2024
https://github.com/ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Last synced: 01 Jan 2025
https://github.com/linoscope/CAMLBOY
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
emulator gameboy gameboy-emulator ocaml
Last synced: 07 Nov 2024
https://github.com/darklang/tablecloth
A standard library with the same API in F#, Rescript and OCaml
fsharp ocaml rescript standard-library
Last synced: 28 Dec 2024
https://github.com/vult-dsp/vult
Vult is a transcompiler well suited to write high-performance DSP code
audio-effect compiler dsp microcontroller ocaml puredata synthesizer vult webaudio
Last synced: 28 Dec 2024
https://github.com/c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
data-structure lightweight modular ocaml permissive-license portable stdlib
Last synced: 27 Dec 2024
https://github.com/leostera/reason-design-patterns
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
design-patterns how-to ocaml patterns reason reasonml recipes rescript rescript-lang
Last synced: 30 Dec 2024
https://github.com/its-pointless/gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
ada android command-line ecl fortran gcc gcc-complier gnat julia julialang mongodb ocaml octave opencv pascal rakudo rstats scipy termux vlc
Last synced: 28 Dec 2024
https://github.com/mirage/alcotest
A lightweight and colourful test framework
Last synced: 27 Dec 2024
https://github.com/sketch-sh/sketch-sh
Sketch.sh - Online Code Editor and ReasonML community
bucklescript ocaml reasonml rtop sketch-sh
Last synced: 29 Dec 2024
https://github.com/Sketch-sh/sketch-sh
Sketch.sh - Online Code Editor and ReasonML community
bucklescript ocaml reasonml rtop sketch-sh
Last synced: 13 Nov 2024
https://github.com/laurentmazare/ocaml-torch
OCaml bindings for PyTorch
artificial-intelligence deep-learning gpu machine-learning neural-network ocaml pytorch tensor
Last synced: 28 Dec 2024
https://github.com/LaurentMazare/ocaml-torch
OCaml bindings for PyTorch
artificial-intelligence deep-learning gpu machine-learning neural-network ocaml pytorch tensor
Last synced: 14 Nov 2024
https://github.com/davesnx/styled-ppx
Type-safe styled components for ReScript, Melange and native with type-safe CSS
css css-in-js emotion melange ocaml ppx react reason reasonml rescript styled styled-components vscode-extension
Last synced: 27 Dec 2024
https://github.com/camilotk/ocaml4noobs
Tutorial de OCaml para iniciantes na Linguagem.
brasil functional-programming ocaml portugues tutorial
Last synced: 30 Dec 2024
https://github.com/Camilotk/ocaml4noobs
Tutorial de OCaml para iniciantes na Linguagem.
brasil functional-programming ocaml portugues tutorial
Last synced: 02 Nov 2024
https://github.com/pataphysicalsociety/soupault
Static website generator based on HTML element tree rewriting
hacktoberfest html-processor lua ocaml static-site-generator web
Last synced: 29 Dec 2024
https://github.com/leostera/minttea
A fun little TUI framework for OCaml
cli multicore ocaml terminal the-elm-architecture tui
Last synced: 29 Dec 2024
https://github.com/reasonml/reason-tools
Adds Reason to the browser
browser-extension chrome ocaml reason reasonml refmt
Last synced: 01 Jan 2025
https://github.com/PataphysicalSociety/soupault
Static website generator based on HTML element tree rewriting
hacktoberfest html-processor lua ocaml static-site-generator web
Last synced: 06 Nov 2024
https://github.com/oxidizing/sihl
A modular functional web framework
framework functional-programming functional-web-development modular ocaml web web-framework
Last synced: 30 Dec 2024
https://github.com/c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
alcotest monadic-interface ocaml ounit property-based-testing quickcheck random random-generator testing
Last synced: 29 Dec 2024
https://github.com/eduardo-mior/uri-online-judge-solutions
Repositório de soluções de exercícios do URI Online Judge.
beecrowd beecrowd-solutions clojure csharp dart go golang haskell java javascript lua ocaml pascal ruby ujo uri-online-judge uri-online-judge-solution uri-solutions urionlinejudge
Last synced: 28 Dec 2024
https://github.com/ocaml-community/yojson
Low-level JSON parsing and pretty-printing library for OCaml
Last synced: 28 Dec 2024
https://github.com/ocaml/v2.ocaml.org
Implementation of the ocaml.org website.
Last synced: 28 Dec 2024
https://github.com/geneweb/geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
consanguinity database family-tree gedcom genealogy graph linux ocaml opam osx software web windows
Last synced: 29 Dec 2024
https://github.com/mhallin/graphql_ppx
GraphQL PPX rewriter for Bucklescript/ReasonML
bucklescript graphql ocaml ppx ppx-rewriter reasonml
Last synced: 01 Jan 2025
https://github.com/paurkedal/ocaml-caqti
Cooperative-threaded access to relational data
async database io-monad lwt mariadb ocaml postgresql sqlite
Last synced: 29 Dec 2024
https://github.com/anmonteiro/ocaml-h2
An HTTP/2 implementation written in pure OCaml
Last synced: 29 Dec 2024
https://github.com/ocsigen/eliom
Multi-tier framework for programming web and mobile applications in OCaml.
full-stack full-stack-web-development fullstack-development mobile-development ocaml ocsigen tierless types web
Last synced: 30 Dec 2024
https://github.com/ocaml-sf/learn-ocaml
A Web Application for Learning OCaml
Last synced: 30 Dec 2024
https://github.com/reasonml-community/bs-webapi-incubator
BuckleScript bindings to the DOM and other Web APIs
bindings bucklescript javascript ocaml reason
Last synced: 29 Sep 2024
https://github.com/akabe/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
dataanalysis datascience functional-programming jupyter jupyter-kernels jupyter-notebook machine-learning ocaml ocaml-kernel ocaml-repl
Last synced: 29 Dec 2024
https://github.com/hazelgrove/tylr
a tiny tile-based editor
holes js-of-ocaml ocaml reasonml structure-editor
Last synced: 01 Jan 2025
https://github.com/ocaml-multicore/parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
Last synced: 31 Dec 2024
https://github.com/aantron/luv
Cross-platform asynchronous I/O and system calls
asynchronous events io libuv ocaml reasonml
Last synced: 01 Jan 2025
https://github.com/rescript-lang/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
analysis dce deadcodeelimination ocaml rescript termination-detection-algorithm
Last synced: 29 Dec 2024
https://github.com/glennsl/bs-json
Compositional JSON encode/decode library for BuckleScript
Last synced: 29 Sep 2024
https://github.com/chenglou/intro-to-reason-compilation
Ready up!
bucklescript ocaml ocaml-compiler reason
Last synced: 26 Dec 2024
https://github.com/protoship/learn-reasonml-workshop
Learn ReasonML with 24 exercises. No prior functional programming knowledge required.
Last synced: 31 Dec 2024
https://github.com/rescript-association/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
analysis dce deadcodeelimination ocaml rescript termination-detection-algorithm
Last synced: 13 Oct 2024