Static Analysis Results Interchange Format (SARIF) For OCaml

Democracia en Red is focusing on specific implementations of DemocracyOS. We are working now working with governments and activists all over Latin America. If you are interested in our online parti…

Command-line tool from the Alire project and supporting library

GitHub Action for the OCaml programming language

User-friendly documentation for the SARIF file format.

Go Vocal is a digital democracy platform that facilitates community participation and co-creation. This is the open source version of our product.

The participatory democracy framework. A generator and multiple gems made with Ruby on Rails

Loomio is a collaborative decision making tool

The Flash(ing tool)

Brevo Transport Module for Nodemailer

Get `todo.org` into your magit status

Pure JavaScript parser for Open Financial Exchange (OFX) files

Sources for learn.adacore.com

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

A mini cheat sheet for SPARK 2014 beginners in LaTeX

Flarum extension. Add users list in admin pannel.