Topic: ocaml Goto Github

👇 Here are 3102 public repositories matching this topic...

hmemcpy / milewski-ctfp-pdf
ocaml,Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
User: hmemcpy
Home Page: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
haskell category-theory functional-programming pdf latex cpp scala ocaml

reasonml / reason
ocaml,Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Organization: reasonml
Home Page: http://reasonml.github.io
ocaml javascript reasonml reason programming-language

lk-geimfari / awesomo
ocaml,Cool open source projects. Choose your project and get involved in Open Source development now.
User: lk-geimfari
awesome ocaml erlang elixir rust python scala lua clojure haskell

revery-ui / revery
ocaml,:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
Organization: revery-ui
Home Page: https://www.outrunlabs.com/revery/
reason reasonml ocaml react electron ui desktop app native cross-platform

onivim / oni2
ocaml,Native, lightweight modal code editor
Organization: onivim
Home Page: https://v2.onivim.io
oni editor reasonml ocaml windows linux macos revery

facebook / pyre-check
ocaml,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis

ocaml / ocaml
ocaml,The core OCaml system: compilers, runtime system, base libraries
Organization: ocaml
Home Page: https://ocaml.org
ocaml compiler functional-language

astrada / google-drive-ocamlfuse
ocaml,FUSE filesystem over Google Drive
User: astrada
Home Page: https://astrada.github.io/google-drive-ocamlfuse/
google-drive ocaml fuse filesystem

extism / extism
ocaml,The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
Organization: extism
Home Page: https://extism.org
plugin-system c cpp go ocaml python ruby rust haskell wasm

viebel / klipse
ocaml,Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
User: viebel
Home Page: http://blog.klipse.tech/
clojure clojurescript interactive-snippets javascript code-evaluation ruby scheme prolog react reactjs

ocaml-community / awesome-ocaml
ocaml,A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Organization: ocaml-community
ocaml awesome resources programming-language

fstarlang / fstar
ocaml,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://fstar-lang.org
programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar

mirage / mirage
ocaml,MirageOS is a library operating system that constructs unikernels
Organization: mirage
Home Page: https://mirageos.org
mirageos unikernel xen kvm ocaml opam linux

binaryanalysisplatform / bap
ocaml,Binary Analysis Platform
Organization: binaryanalysisplatform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter

minaprotocol / mina
ocaml,Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Organization: minaprotocol
Home Page: https://minaprotocol.com
cryptocurrency blockchain ocaml zk-snarks mina

mirage / irmin
ocaml,Irmin is a distributed database that follows the same design principles as Git
Organization: mirage
Home Page: https://irmin.org
ocaml git storage mirageos database irmin

ocaml / dune
ocaml,A composable build system for OCaml.
Organization: ocaml
Home Page: https://dune.build/
build ocaml opam dune jbuilder

camlworks / dream
ocaml,Tidy, feature-complete Web framework
Organization: camlworks
Home Page: https://camlworks.github.io/dream/
ocaml web framework reasonml http websockets graphql

ocaml / merlin
ocaml,Context sensitive completion for OCaml in Vim and Emacs
Organization: ocaml
Home Page: https://ocaml.github.io/merlin/
ocaml emacs vim atom

netgusto / nodebook
ocaml,Nodebook - Multi-Lang Web REPL + CLI Code runner
User: netgusto
repl nodejs c cpp haskell java lua php python r

tezos / tezos
ocaml,Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Organization: tezos
Home Page: https://gitlab.com/tezos/tezos
tezos ocaml blockchain smart-contracts

ocaml / opam
ocaml,opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Organization: ocaml
Home Page: https://opam.ocaml.org
ocaml opam package-manager git

gfngfn / satysfi
ocaml,A statically-typed, functional typesetting system
User: gfngfn
ocaml markup-language latex functional-programming pdf-generation opentype satysfi opam pdf typesetting-system

terrateamio / terrateam
ocaml,Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
Organization: terrateamio
Home Page: https://docs.terrateam.io
automation cloud-management devops github-actions infrastructure-as-code infrastructure-automation infrastructure-orchestration ocaml opentofu tacos

leostera / caramel
ocaml,:candy: a functional language for building type-safe, scalable, and maintainable applications
User: leostera
Home Page: https://caramel.run
ocaml erlang compiler caramel elixir functional-language type-safe

ocsigen / js_of_ocaml
ocaml,Compiler from OCaml to Javascript.
Organization: ocsigen
Home Page: http://ocsigen.org/js_of_ocaml/
javascript ocaml compiler ocsigen jsoo

hazelgrove / hazel
ocaml,Hazel, a live functional programming environment with typed holes
Organization: hazelgrove
Home Page: http://hazel.org/
editor functional-programming ocaml elm reasonml holes

felix-lang / felix
ocaml,The Felix Programming Language
Organization: felix-lang
programming-language programming c-plus-plus ocaml compiler coroutines coroutine-framework functional-programming performant scripting-language

ocsigen / lwt
ocaml,OCaml promises and concurrent I/O
Organization: ocsigen
Home Page: https://ocsigen.org/lwt
ocaml concurency io futures events asynchronous lwt fibers promises

mirage / ocaml-cohttp
ocaml,An OCaml library for HTTP clients and servers using Lwt or Async
Organization: mirage
ocaml http http-client lwt unix

ocaml-multicore / ocaml-multicore
ocaml,Multicore OCaml
Organization: ocaml-multicore
ocaml multicore algebraic-effects handlers concurrency

ocaml-ppx / ocamlformat
ocaml,Auto-formatter for OCaml code
Organization: ocaml-ppx
ocaml

inhabitedtype / angstrom
ocaml,Parser combinators built for speed and memory efficiency
Organization: inhabitedtype
ocaml parser-combinators parsing

aeneasverif / aeneas
ocaml,A verification toolchain for Rust programs
Organization: aeneasverif
Home Page: https://aeneasverif.github.io/
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml proofs

ocaml-multicore / eio
ocaml,Effects-based direct-style IO for multicore OCaml
Organization: ocaml-multicore
concurrency effects io multicore ocaml

leostera / riot
ocaml,An actor-model multi-core scheduler for OCaml 5 🐫
User: leostera
actor-model elixir erlang fault-tolerance multicore multicore-ocaml ocaml otp

artagnon / rhine-ml
ocaml,🏞 an OCaml compiler for an untyped lisp
User: artagnon
programming-language ocaml llvm compiler

reasonml-old / reason-react
ocaml,
Organization: reasonml-old
reasonml react ocaml bucklescript bindings

davesnx / query-json
ocaml,Faster, simpler and more portable implementation of jq-inspired language in OCaml
User: davesnx
Home Page: https://query-json.pages.dev
reason-native sedlex ocaml menhir json

linoscope / camlboy
ocaml,A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
User: linoscope
Home Page: https://linoscope.github.io/CAMLBOY/
ocaml gameboy gameboy-emulator emulator

andreas / ocaml-graphql-server
ocaml,GraphQL servers in OCaml
User: andreas
ocaml graphql

overminddl1 / bucklescript-tea
ocaml,TEA for Bucklescript
User: overminddl1
bucklescript bucklescript-tea ocaml elm-architecture elm javascript

ocaml / opam-repository
ocaml,Main public package repository for opam, the source package manager of OCaml.
Organization: ocaml
Home Page: https://opam.ocaml.org
opam ocaml

leostera / reason-design-patterns
ocaml,🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
User: leostera
reason reasonml ocaml patterns design-patterns recipes how-to rescript rescript-lang

briskml / brisk
ocaml,✨Cross-platform set of tools for building native UIs with Reason/OCaml
Organization: briskml
reason reasonml ocaml react electron react-native ui desktop app native

inhabitedtype / httpaf
ocaml,A high performance, memory efficient, and scalable web server written in OCaml
Organization: inhabitedtype
ocaml http

vult-dsp / vult
ocaml,Vult is a transcompiler well suited to write high-performance DSP code
Organization: vult-dsp
Home Page: https://vult-dsp.github.io/vult
ocaml compiler dsp synthesizer vult microcontroller audio-effect puredata webaudio

c-cube / ocaml-containers
ocaml,A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
User: c-cube
Home Page: https://c-cube.github.io/ocaml-containers/
ocaml stdlib data-structure portable permissive-license modular lightweight

darklang / tablecloth
ocaml,A standard library with the same API in F#, Rescript and OCaml
Organization: darklang
Home Page: https://www.tablecloth.dev
fsharp ocaml rescript standard-library

mirage / alcotest
ocaml,A lightweight and colourful test framework
Organization: mirage
unit-testing ocaml