digitalbrains1 Goto Github PK

acme-dns

Limited DNS server with RESTful HTTP API to handle ACME DNS challenges easily and securely.

acme-dns-certbot-joohoi

Certbot client hook for acme-dns

aeson-pretty

JSON pretty-printing library and command-line tool.

altera-fifo-kmod

A Linux UIO kernel driver for the Intel FPGA Avalon FIFO Memory Core

arty-blinker

Quick howto for using Clash <-> Tcl API, with a blinker on Arty A7-35

card10-nickname

Nickname app for card10 badge #cccamp2019

certbot

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

clash-lt24

Use the terasIC LT24 display from CλaSH 2

clash-lt24-quartus

VHDL and project file for clash-lt24

clash-toolbox

CλaSH Toolbox

esp32_https_server

Alternative ESP32 Webserver implementation for the ESP32 Arduino Core, supporting HTTPS and HTTP.

gpg-encrypted-root

Encrypt your root volume with an OpenPGP smartcard

lsuio

Fork of lsuio - list Linux UIO devices.

micropython-esp32

MicroPython ported to the SHA2017 badge

nbmanager

View and stop running IPython notebook servers

packet-fifo

Exchange data packets between HPS and FPGA on Intel Cyclone SoC

pe32me162ir_pub

ProjectEnergy32: read ISKRA ME-162 electric meter through optical port using ESP8266, publish to MQTT

prettyprinter-interp

Efficient interpolation for Prettyprinter

stackage

Stable Haskell package sets: vetted consistent packages from Hackage

test-hashable-primitive

Temporary debugging stuff

testbenchinline

tmk_keyboard

keyboard controller firmware for Atmel AVR USB family

xilinxfloat

Run Clash test benches in Vivado