Jonas Finnemann Jensen

trilite. An inverted trigram index for accelerated string matching in Sqlite.

zbar-sharp. .Net/Mono bindings for zbar

google-drive-realtime-examples. Examples using Google Drive Realtime Api for collaborative CodeMirror session, etc...

PeTe. A graphical Petri net modelling and verifications tool

rison. JavaScript/Python/etc Rison mirrors (http://mjtemplate.org/examples/rison.html)

WKTool. A verification tool for Weighted Kripke Structures

gedit-tab-control. A gedit 3.x plugin that lets you switch tabs with 'Ctrl (+ shift) + Tab' and close tabs with 'Ctrl + F4'

dirt. Modelling tool for fork-merge directed real-time tasks

gnome-hdaps-applet. An applet for monitoring HDAPS

taskcluster-jobqueue. Job queue implementation

flutter-plugins. Plugins for Flutter maintained by the Flutter team

pluckplayer. A music player plugin for pluck.

dxr. An intelligent source code browser

LiveSC. Live Sequence Chart Editor

libreoffice-writer. Visual formula editor for the starmath module.

_dummy_pkg. Playground for trying out github actions and OIDC tokens.

BJSON.coffee. Coffeescript implementation of BJSON for browsers

pub-playground. Dart

cargo-playground. Rust

oauth2. An OAuth2 client library for Dart.

go-localtunnel. golang client library for localtunnel.me

dart_docker. Docker images for Dart

audioplayers. A Flutter plugin to play multiple audio files simultaneously (Android/iOS)

talos-experiments. Scripts to play with talos under linux...

go-acyclicloader. Package for loading dependent components in golang

pub-dev. Source for the Pub site, written in Dart