kristiank

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

PaperWM

Tiled scrollable window management for Gnome Shell

mu

maildir indexer/searcher + emacs mail client + guile bindings

oTranscribe

A free & open tool for transcribing audio interviews

web-client

Cryptee's web client source code for all platforms.

openmrs-module-bahmniapps

Bahmni EMR Frontend code for Clinicians and staff members, written in Angular.JS and React

PharoJS

PharoJS: Develop in Pharo, Run on JavaScript

xspec

XSpec is a unit test and behaviour-driven development (BDD) framework for XSLT, XQuery, and Schematron.

remote-numpad

The Remote Numpad app for Android (available on Play Store).

mmj2

mmj2 GUI Proof Assistant for the Metamath project

annotate-questionnaire

Summary of Responses to Questionnaire on Annotation Platform https://forms.gle/iZk8kehkjAWmB8xe9

linux-installer

Ubuntu meta package

ACE-in-GF

Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)

common-clinical-models

Common clinical models in the forms of openEHR archetypes and GDL guidelines

gnome-shell-mode

Package for developing gnome-shell extensions

snomed-ui-examples

SNOMED CT User Interface examples

cltools

tools for common-logic

Vitruv

View-based Development and Model Consistency Framework

VoxLogicA

VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images in a simple way. See also http://www.voxlogica.org .

Detailed-Clinical-Models

This is the repository with the Detailed Clinical Model files published by NEN DCM Quality Center and its members

shax

A SHAX processor, transforming SHAX models into SHACL, XSD and JSON Schema.

gf_kernel

A Jupyter Kernel for GF

gf-typescript

TypeScript runtime for Grammatical Framework

openlt-manifesto

A Manifesto for Open Language Technology

lang-vot

Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Votic language

lang-vot-x-ext-kkankain

Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Votic language

lahedakutidtiimAKT

gf-rgl-zul

standin

Some of the results from the Swedish StandIN3 project. (E.g. models that are useful to store in a version controll system)

contsysDoc

Ontology for continuity