Rivierg's Stars
loomio/loomio
Loomio is a collaborative decision making tool
DemocracyOS/democracyos
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 participation tools you can check them out on our site.
decidim/decidim
The participatory democracy framework. A generator and multiple gems made with Ruby on Rails
zsa/wally
The Flash(ing tool)
alire-project/alire
Command-line tool from the Alire project and supporting library
microsoft/sarif-tutorials
User-friendly documentation for the SARIF file format.
ocaml/setup-ocaml
GitHub Action for the OCaml programming language
tofgarion/spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
AdaCore/learn
Sources for learn.adacore.com
danielma/magit-org-todos.el
Get `todo.org` into your magit status
CitizenLabDotCo/citizenlab-oss
Go Vocal is a digital democracy platform that facilitates community participation and co-creation. This is the open source version of our product.
bradenmacdonald/ofx-js
Pure JavaScript parser for Open Financial Exchange (OFX) files
gborough/sarif
Static Analysis Results Interchange Format (SARIF) For OCaml
gotschmarcel/nodemailer-brevo-transport
Brevo Transport Module for Nodemailer
mbeckersys/spark2014-cheat-sheet
A mini cheat sheet for SPARK 2014 beginners in LaTeX
Rivierg/flarum-ext-users-list
Flarum extension. Add users list in admin pannel.