Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Plugin Ocaml Open Source Projects

Open source projects categorized as Plugin Ocaml
Ecaml ⭐ 242
Writing Emacs plugin in OCaml
most recent commit 7 months ago
Sweetsour ⭐ 226
A CSS-in-JS parser and pipeline adhering to the ISTF spec 🍭
most recent commit 4 years ago
Nbdkit ⭐ 198
Read only mirror of https://gitlab.com/nbdkit/nbdkit
total releases 361most recent commit a year ago
Ppx_deriving_cmdliner ⭐ 82
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
most recent commit 2 years ago
Ocaml_plugin ⭐ 60
(Archived) Automatically build and dynlink ocaml source files
most recent commit 6 months ago
Ocaml Ide ⭐ 55
Ocaml plugin for IntelliJ IDEA
most recent commit 2 years ago
Unicoq ⭐ 46
An enhanced unification algorithm for Coq
most recent commit 5 months ago
Pumpkin Patch ⭐ 38
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
most recent commit 3 years ago
Codegen ⭐ 33
Coq plugin for monomorphization and C code generation
most recent commit a year ago
Aac Tactics ⭐ 29
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
most recent commit 4 months ago
Calculon ⭐ 28
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
most recent commit 3 months ago
Coqast ⭐ 26
Fun plugin to play with the Gallina AST.
most recent commit 5 years ago
Asdf Ocaml ⭐ 25
OCaml plugin for the asdf version manager
most recent commit 7 months ago
Ocaml Cordova Plugin List ⭐ 23
List of bindings in OCaml to cordova plugins.
most recent commit 7 years ago
Rollup Plugin Bucklescript ⭐ 22
rollup plugin for using bucklescript
dependent packages 12total releases 8most recent commit 6 years agonpm rollup-plugin-bucklescript} Downloads
Camlp4 To Ppx ⭐ 20
Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes
most recent commit 5 years ago
Lt Ocaml ⭐ 19
LightTable plugin for OCaml
most recent commit 7 years ago
Ocaml Pb Plugin ⭐ 18
A protoc plugin for generating OCaml code from protobuf (.proto) files.
most recent commit 4 years ago
Opam Tools ⭐ 17
opam plugin to initialise a local development environment for an OCaml project
most recent commit 3 years ago
Ppx_deriving_crowbar ⭐ 17
a ppx_deriving plugin for crowbar generators
most recent commit 5 years ago
Oeuf ⭐ 17
gallina frontend for CompCert
most recent commit 5 years ago
Constructors ⭐ 15
Example Coq plugin
most recent commit 6 years ago
Mix_caramel ⭐ 15
🍬 A Mix plugin to use Caramel
most recent commit 3 years ago
The 2 Latest Releases In Plugin Ocaml Open Source Projects
Nbdkit ⭐ 198
Read only mirror of https://gitlab.com/nbdkit/nbdkit
total releases 361latest release March 09, 2023most recent commit a year ago
Rollup Plugin Bucklescript ⭐ 22
rollup plugin for using bucklescript
dependent packages 12total releases 8latest release August 02, 2018most recent commit 6 years agonpm rollup-plugin-bucklescript} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.