diagprov Goto Github PK

evoting-solution

expresscliserv

Express client server demo

fedora-kickstarts

firmware-demos

Demos of various firmware types.

fourqlib

FourQlib is an efficient and portable cryptographic library that provides functions for computing elliptic curve based operations on the high-performance FourQ curve.

gcsf

a FUSE file system based on Google Drive

ghdl-yosys-blink

Blink an LED on an FPGA in VHDL using ghdl, yosys and nextpnr

golang-crypto

[mirror] Go supplementary cryptography libraries

golang-ed25519

AGL/Golang Standard Library Ed25519 including extra25519 code.

hacl-star

HACL*, a formally verified cryptographic library written in F*

hal-fuzz

Source code of HAL-fuzz

halucinator

This is a development repository for continued work on HALucinator. It is not likely to be stable on the default branch (devel) and will be superseded by the avatarinator repository at a future stage.

halucinor

HALucinator Refactoring

helix-editor

A post-modern modal text editor.

httpinfo

Simple go server that replies with basic http info, for diagnostics.

interview-go-multisigs

journalbot

kani

Kani Rust Verifier

learn

Various different kinds of experiments involving programming languages. Since this is my own personal experimentation repository, pull requests will not be accepted.

learn-fpga

Learning FPGA, yosys, nextpnr, and RISC-V

libe4

Client library for Teserakt's E4 solution, in C89

lol

A library for ring-based lattice cryptography

metasploit-payloads

Unified repository for different Metasploit Framework payloads

micro-ecc

ECDH and ECDSA for 8-bit, 32-bit, and 64-bit processors.

microwatt

A tiny Open POWER ISA softcore written in VHDL 2008

miscreant.go

Go implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support

miscreant.rs

Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support

mitra

A generator of binary polyglots

musl-cross-make

Simple makefile-based build for musl cross compiler

native-skeleton

Two NT Native skeleton apps that print hello world.