Lorenzo C's repositories

agda-kernel

An experimental Agda kernel for Jupyter

Language:Jupyter NotebookLicense:CC-BY-4.0Stargazers:24Issues:3Issues:9

jupyter_contrib_nbextensions

A collection of various notebook extensions for Jupyter

Language:HTMLLicense:NOASSERTIONStargazers:3Issues:2Issues:4
Language:HTMLLicense:GPL-3.0Stargazers:2Issues:0Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:2Issues:0Issues:0

hass-proscenic-800T-vacuum

proscenic 790T intergration for home assistant

Language:PythonStargazers:1Issues:1Issues:0

AirConnect

Use AirPlay to stream to UPnP/Sonos & Chromecast devices

License:NOASSERTIONStargazers:0Issues:0Issues:0

Arduino-LoRa-Ra01S

An Arduino Library for LoRa Communication using SX1262/1268

Language:C++License:MITStargazers:0Issues:0Issues:0

artillery-Genius

Marlin 2.0.9.3 Firmware + TFT firmware for Artillery Genius 3D printer

License:GPL-3.0Stargazers:0Issues:0Issues:0

avatarify

Avatars for Zoom and Skype

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

BIGTREETECH-TouchScreenFirmware

support TFT35 V1.0/V1.1/V1.2/V2.0/V3.0, TFT28, TFT24 V1.1, TFT43, TFT50, TFT70

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ESP32Marauder

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

License:MITStargazers:0Issues:0Issues:0

fritzing-app

Fritzing desktop application

License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

heavy-minotaut

Heavy MinOTaut - Heavy Minimization Of Tree Automata

Language:C++Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

MagicMirror

MagicMirror² is an open source modular smart mirror platform. With a growing list of installable modules, the MagicMirror² allows you to convert your hallway or bathroom mirror into your personal assistant.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Marlin

Marlin is an optimized firmware for RepRap 3D printers based on the Arduino platform. | Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your specific machine.

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

midiStroke

MIDI to Keystroke Macro convertor for OS X

Language:Objective-CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

MMM-MQTT

MQTT Client module for MagicMirror2

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

notebook

Jupyter Interactive Notebook

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pi-github-runner

Docker config to easily enable arm and arm64 GitHub Actions via the self-hosted runner mechanism

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

pp

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

pubmex

a script to get a fancy paper title based on given DOI or PMID

Stargazers:0Issues:0Issues:0

RN2483-Arduino-Library

Arduino C++ code to communicate with a Microchip RN2483 module

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

tslib

Touchscreen access library

Language:CLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

unleashed-firmware

Flipper Zero Unleashed Firmware

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:TeXLicense:MITStargazers:0Issues:0Issues:0

wifite2

Rewrite of the popular wireless network auditor, "wifite" - original source by @derv82 right over

License:GPL-2.0Stargazers:0Issues:0Issues:0