ocaml

There are 280 repositories under ocaml topic.

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
Language:TeX 10773
reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
javascript ocaml programming-language reason reasonml
Language:OCaml 10064
lk-geimfari / awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
awesome ocaml erlang elixir rust python scala lua clojure haskell emacs-lisp list ruby open-source typescript dev lisp projects
Language:Go 9248
revery-ui / revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
reason reasonml ocaml react electron ui desktop app native cross-platform desktop-apps
Language:Reason 8069
onivim / oni2
Native, lightweight modal code editor
editor linux macos ocaml oni reasonml revery windows
Language:Reason 7761
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
Language:OCaml 6698
astrada / google-drive-ocamlfuse
FUSE filesystem over Google Drive
google-drive ocaml fuse filesystem
Language:OCaml 5383
ocaml
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
compiler functional-language ocaml
Language:OCaml 5187
extism
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
Language:Rust 3828
viebel / klipse
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
clojure clojurescript interactive-snippets javascript code-evaluation ruby scheme prolog react reactjs klipse-plugin codemirror-editor evaluation python brainfuck lua ocaml reasonml common-lisp
Language:HTML 3099
ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
awesome ocaml programming-language resources
2703
FStarLang / FStar
A Proof-oriented Programming Language
programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar
Language:F* 2576
mirage / mirage
MirageOS is a library operating system that constructs unikernels
mirageos unikernel xen kvm ocaml opam linux
Language:OCaml 2438
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
Language:OCaml 1994
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
Language:OCaml 1949
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
database git irmin mirageos ocaml storage
Language:OCaml 1800
netgusto / nodebook
Nodebook - Multi-Lang Web REPL + CLI Code runner
repl nodejs c cpp haskell java lua php python r ruby rust swift go typescript elixir ocaml fsharp csharp clojure
Language:Go 1618
ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml emacs vim atom
Language:OCaml 1548
ocaml / dune
A composable build system for OCaml.
build ocaml opam dune jbuilder
Language:OCaml 1543
aantron / dream
Tidy, feature-complete Web framework
ocaml web framework reasonml http websockets graphql
Language:OCaml 1526
tezos / tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
tezos ocaml blockchain smart-contracts
1512
opam
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
Language:OCaml 1196
Binary-Hackers / 42_Subjects
All Subjects of 42 School
school subjects c cpp swift unity ocaml ror python django php school42 paris fremont norme
Language:ASP 1170
gfngfn / SATySFi
A statically-typed, functional typesetting system
functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system
Language:OCaml 1157
caramel
leostera / caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
ocaml erlang compiler caramel elixir functional-language type-safe
Language:OCaml 1040
ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.
compiler javascript jsoo ocaml ocsigen
Language:OCaml 934
felix-lang / felix
The Felix Programming Language
programming-language programming c-plus-plus ocaml compiler coroutines coroutine-framework functional-programming performant scripting-language compiled platform-independent code-generator static-analysis polymorphism type-classes parametric-polymorphism
Language:C 792
ocaml-multicore / ocaml-multicore
Multicore OCaml
ocaml multicore algebraic-effects handlers concurrency
Language:OCaml 762
mirage / ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
ocaml http http-client lwt unix
Language:OCaml 690
ocsigen / lwt
OCaml promises and concurrent I/O
ocaml concurency io futures events asynchronous lwt fibers promises
Language:OCaml 686
hazelgrove / hazel
Hazel, a live functional programming environment with typed holes
editor elm functional-programming holes ocaml reasonml
Language:OCaml 663
reasonml-old / reason-react
reasonml react ocaml bucklescript bindings
Language:OCaml 634
artagnon / rhine-ml
🏞 an OCaml compiler for an untyped lisp
programming-language ocaml llvm compiler
Language:OCaml 630
andreas / ocaml-graphql-server
GraphQL servers in OCaml
ocaml graphql
Language:OCaml 625
inhabitedtype / angstrom
Parser combinators built for speed and memory efficiency
ocaml parser-combinators parsing
Language:OCaml 618
ocaml-ppx / ocamlformat
Auto-formatter for OCaml code
ocaml
Language:OCaml 602