ocaml

There are 189 repositories under ocaml topic.

reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ocaml javascript reasonml reason programming-language
Language:OCaml 9658
hmemcpy / milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
haskell category-theory functional-programming pdf latex cpp scala ocaml
Language:TeX 9414
lk-geimfari / awesomo
Cool open source projects written in various languages.
awesome ocaml erlang elixir rust python scala lua clojure haskell emacs-lisp list ruby open-source typescript dev lisp projects hacktoberfest
Language:Python 8372
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 7905
onivim / oni2
Native, lightweight modal code editor
editor linux macos ocaml oni reasonml revery windows
Language:Reason 7043
facebook / pyre-check
Performant type-checking for python.
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis
Language:OCaml 5906
astrada / google-drive-ocamlfuse
FUSE filesystem over Google Drive
google-drive ocaml fuse filesystem
Language:OCaml 4616
ocaml
ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
compiler functional-language ocaml
Language:OCaml 3814
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 2935
ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
awesome ocaml programming-language resources
2239
FStarLang / FStar
A Proof-oriented Programming Language
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification
Language:F* 2236
mirage / mirage
MirageOS is a library operating system that constructs unikernels
mirageos unikernel xen kvm ocaml opam linux
Language:OCaml 1872
BinaryAnalysisPlatform / bap
Binary Analysis Platform
binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter ocaml arm x86 security emulator bap powerpc mips symbolic-execution
Language:OCaml 1619
mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml git storage mirageos database irmin
Language:OCaml 1596
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 1542
tezos / tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
tezos ocaml blockchain smart-contracts
1494
MinaProtocol / mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
blockchain cryptocurrency mina ocaml zk-snarks
Language:OCaml 1421
ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml emacs vim atom
Language:OCaml 1401
ocaml / dune
A composable build system for OCaml.
build dune jbuilder ocaml opam
Language:OCaml 1221
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 1003
caramel
AbstractMachinesLab / caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
caramel compiler elixir erlang functional-language ocaml type-safe
Language:OCaml 946
gfngfn / SATySFi
A statically-typed, functional typesetting system
ocaml markup-language latex functional-programming pdf-generation opentype satysfi opam pdf typesetting-system programming-language
Language:OCaml 934
Binary-Hackers / 42_Subjects
All Subjects of 42 School
c cpp django fremont norme ocaml paris php python ror school school42 subjects swift unity
Language:ASP 872
aantron / dream
Tidy, feature-complete Web framework
ocaml web framework reasonml http websockets graphql
Language:OCaml 869
ocsigen / js_of_ocaml
Compiler from OCaml to Javascript.
compiler javascript jsoo ocaml ocsigen
Language:OCaml 757
ocaml-multicore / ocaml-multicore
Multicore OCaml
ocaml multicore algebraic-effects handlers concurrency
Language:OCaml 735
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 670
reasonml-old / reason-react
reasonml react ocaml bucklescript bindings
Language:OCaml 636
artagnon / rhine-ml
🏞 an OCaml compiler for an untyped lisp
programming-language ocaml llvm compiler
Language:OCaml 628
andreas / ocaml-graphql-server
GraphQL servers in OCaml
ocaml graphql
Language:OCaml 606
OvermindDL1 / bucklescript-tea
TEA for Bucklescript
bucklescript bucklescript-tea elm elm-architecture javascript ocaml
Language:JavaScript 593
mirage / ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
http http-client lwt ocaml unix
Language:OCaml 578
ocsigen / lwt
OCaml promises and concurrent I/O
ocaml concurency io futures events asynchronous lwt fibers promises
Language:OCaml 567
davesnx / query-json
Faster, simpler and more portable implementation of `jq` in Reason
reason-native sedlex ocaml menhir json reason reasonml
Language:Reason 561
briskml / brisk
✨Cross-platform set of tools for building native UIs with Reason/OCaml
reason reasonml ocaml react electron react-native ui desktop app native cross-platform cocoa brisk
Language:OCaml 538
inhabitedtype / angstrom
Parser combinators built for speed and memory efficiency
ocaml parser-combinators parsing
Language:OCaml 512

ezoic increase your site revenue

Related Topics

vscode vscode-extension developer-tools snippets atom