cmuellner Goto Github PK

ant-javacard

Easy to use Ant task for building JavaCard applets (2.1.2 to 3.0.5)

appletplayground

Playground for open source JavaCard applets! All work and no play makes Jack a dull boy.

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

binutils-gdb

Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

cclyzer-souffle

CClyzer port to souffle lang

crosstool-ng

A versatile (cross-)toolchain generator.

debos

Debian OS builder

filesystem

Boost.org filesystem module

firewalld

Firewall daemon with D-Bus interface

gcc

gcc-cross-builder

genimage

tool to generate multiple filesystem and flash images from a tree

glibc

Unofficial mirror of sourceware glibc repository. Updated daily.

globalplatformpro

Manage applets and keys on JavaCard-s like a pro (via command line or from your Java project)

gperftools

Main gperftools repository

gppp

groups

RISC-V Technical Working Groups - charter, meeting minutes, planning documents

handlertest

This program send commands to a card through the reader.

hhvm

A virtual machine designed for executing programs written in Hack and PHP.

hhvm-third-party

All of the dependencies that hhvm needs which don't have nice packages

infra

Infrastructure to set up the public Compiler Explorer instances and compilers

isoapplet

A Java Card PKI Applet aiming to be ISO 7816 compliant

jemalloc

kmem-probe-framework

libifdse

PCSC IFD handler for I2C-attached secure elements

libwebsockets

canonical libwebsockets.org websocket library

linux

Linux kernel source tree

linux-pine64

Pine64 Linux Kernel

ola

The Open Lighting Architecture

openpgp-card

Open source implementation of the OpenPGP smart card version 2.0 on a java card.