Pinned Repositories
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
libifdse
PCSC IFD handler for I2C-attached secure elements
libwebsockets
canonical libwebsockets.org websocket library
scunit
Unit test tool for smartcards
cmuellner's Repositories
cmuellner/riscv-crypto
RISC-V cryptography extensions standardisation work.
cmuellner/riscv-aia
cmuellner/firewalld
Firewall daemon with D-Bus interface
cmuellner/riscv-zawrs
The repo will be used to hold the draft Zawrs (fast-track) extension and to make releases for reviews. The Zawrs extension defines a single instruction to be used in polling loops that allows a core to enter a low-power state and wait on either a write to a memory location or other asynchronous system events. It addresses common use-cases in operating systems when waiting for contended locks or for completion events signaled by external I/O agents, accelerators, and other peripherals.
cmuellner/gcc-cross-builder
cmuellner/crosstool-ng
A versatile (cross-)toolchain generator.
cmuellner/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
cmuellner/cclyzer-souffle
CClyzer port to souffle lang
cmuellner/riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension
cmuellner/riscv-glossary
cmuellner/riscv-platform-specs
RISC-V Profiles and Platform Specification
cmuellner/riscv-pk
RISC-V Proxy Kernel
cmuellner/groups
RISC-V Technical Working Groups - charter, meeting minutes, planning documents
cmuellner/infra
Infrastructure to set up the public Compiler Explorer instances and compilers
cmuellner/libifdse
PCSC IFD handler for I2C-attached secure elements
cmuellner/genimage
tool to generate multiple filesystem and flash images from a tree
cmuellner/rkdeveloptool
cmuellner/arm-trusted-firmware
Read-only mirror of Trusted Firmware-A
cmuellner/jemalloc
cmuellner/gperftools
Main gperftools repository
cmuellner/ola
The Open Lighting Architecture
cmuellner/xmr-stak-cpu
Monero CPU miner
cmuellner/IsoApplet
A Java Card PKI Applet aiming to be ISO 7816 compliant
cmuellner/SmartPGP
SmartPGP is a JavaCard implementation of the OpenPGP card specifications
cmuellner/wolf-xmr-miner
Wolf's OpenCL XMR Miner for AMD GPUs
cmuellner/scunit
Unit test tool for smartcards
cmuellner/hhvm
A virtual machine designed for executing programs written in Hack and PHP.
cmuellner/GlobalPlatformPro
Manage applets and keys on JavaCard-s like a pro (via command line or from your Java project)
cmuellner/gppp
cmuellner/OpenSC
Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend