A latex pakage for typesetting structured proofs

🔎 Static code analysis engine to find security issues in code.

A fancy self-hosted monitoring tool

A PDF document generator with high level support for text, drawing and images

Building event-driven applications the easy way in Go.

Get JSON values quickly - JSON parser for Go

A frontend Framework for single-page applications on top of REST/GraphQL APIs, using TypeScript, React and Material Design

A maroto way to create PDFs. Maroto is inspired in Bootstrap and uses gofpdf. Fast and simple.

Extensible security first OAuth 2.0 and OpenID Connect SDK for Go.

OAuth 2.0 server library for the Go programming language.

Go Dependency Analysis toolkit

An authorization library that supports access control models like ACL, RBAC, ABAC in Golang: https://discord.gg/S5UjpzGZjN

Modern HTTP benchmarking tool

Lua script for Nginx that performs reverse proxy auth using JWT's

Secure your NGINX locations with JWT

A small utility which generates Go code from any file. Useful for embedding binary data in a Go program.

How To Retarget the GNU Toolchain in 21 Patches

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…

Immutable persistent data collections for Javascript which increase efficiency and simplicity.

Redis engine backend for Faye

Phonegap plugin to create & cancel native, local notifications

Cross-platform asynchronous I/O primitives for scalable network clients and servers.

The project is a Maven archetype for Spring MVC web application.

a lightweight dependency injection framework for Ruby

A static visual JavaScript analyzer / editor

Plugins for use with PhoneGap.