Awesome Open Source

Programming Languages

Search results for plugin ocaml

45 search results found

Writing Emacs plugin in OCaml

Sweetsour ⭐ 226

A CSS-in-JS parser and pipeline adhering to the ISTF spec 🍭

Read only mirror of https://gitlab.com/nbdkit/nbdkit

Ppx_deriving_cmdliner ⭐ 82

Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

Ocaml_plugin ⭐ 60

(Archived) Automatically build and dynlink ocaml source files

Ocaml Ide ⭐ 55

Ocaml plugin for IntelliJ IDEA

An enhanced unification algorithm for Coq

Pumpkin Patch ⭐ 38

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

Coq plugin for monomorphization and C code generation

Aac Tactics ⭐ 29

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Calculon ⭐ 28

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

Fun plugin to play with the Gallina AST.

Asdf Ocaml ⭐ 25

OCaml plugin for the asdf version manager

Ocaml Cordova Plugin List ⭐ 23

List of bindings in OCaml to cordova plugins.

Rollup Plugin Bucklescript ⭐ 22

rollup plugin for using bucklescript

Camlp4 To Ppx ⭐ 20

Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes

Lt Ocaml ⭐ 19

LightTable plugin for OCaml

Ocaml Pb Plugin ⭐ 18

A protoc plugin for generating OCaml code from protobuf (.proto) files.

Opam Tools ⭐ 17

opam plugin to initialise a local development environment for an OCaml project

Ppx_deriving_crowbar ⭐ 17

a ppx_deriving plugin for crowbar generators

gallina frontend for CompCert

Constructors ⭐ 15

Example Coq plugin

Mix_caramel ⭐ 15

🍬 A Mix plugin to use Caramel

Coq Plugin Template ⭐ 13

Template of Coq Plugin using the Dune build system, and showcasing some advanced features

An Autodesk Maya plugin for modelling DNA based structures

easy-to-use wrapper for OCaml's Dynlink

Md2export ⭐ 11

File translator for Autodesk Maya that exports Quake MD2 files

Opam Compiler ⭐ 11

opam plugin to work with compiler descriptions

Chartjs Ocaml ⭐ 10

Chart.js bindings for OCaml

Opam Otopop ⭐ 10

opam plugin to automatically populate opam file at install command

Genbindings ⭐ 9

Babel plugin to auto-generate Reason bindings from JavaScript+Flow annotated code.

Opam Github Workflow ⭐ 9

An opam-plugin and library for making Github Action workflows

Locosoftmayaplugin ⭐ 9

Authoring tool (Maya plugin) for creating locomotion on soft bodies

Localization plugin for OCaml

Ocamlbuild Atdgen ⭐ 8

ocamlbuild plugin for atdgen

Coq Antivalence ⭐ 8

Coq plugin to generate type inequality axioms for inductive definitions

Coq Label ⭐ 7

Rebar3_caramel ⭐ 7

rebar3 plugin for compiling caramel / ocaml projects

Eliom Ocamlbuild ⭐ 7

ocamlbuild plugin for building Eliom projects

Coq plugin for printing term abstract syntax trees and their digests

Binaryninja Ocaml ⭐ 6

OCaml bindings to Binary Ninja

A Coq plugin for simpler proofs by reflection or OCaml certificates.

Coq Plugin Lib ⭐ 6

Library of useful utility functions for Coq plugins

Cil Plugin Skeleton ⭐ 5

Build skeleton and examples of simple CIL plugins

Monadification ⭐ 5

Coq plugin for monadification

Ocaml Ladspa ⭐ 5

OCaml bindings for LADSPA plugins.

Ppx_deriving_hardcaml ⭐ 5

ppx_deriving plugin for HardCaml

Why3gospel ⭐ 5

A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

Janus Ocaml ⭐ 5

Library for Janus WebRTC server handling written in OCaml

Related Searches

Javascript Plugin (29,065)

Java Plugin (12,518)

Python Plugin (9,226)

Ruby Plugin (6,605)

Plugin Jquery (5,848)

Typescript Plugin (3,524)

Plugin Vim (3,370)

C Plus Plus Plugin (3,305)

Css Plugin (2,963)

Shell Plugin (2,904)

1-45 of 45 search results

Privacy | About | Terms | Follow Us On Twitter

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