lclem

Pinned Repositories

action-commit-to-branch
GitHub action that will commit the result to an input branch
Language:Shell0 1 00
agda-kernel
An experimental Agda kernel for Jupyter
Language:Jupyter Notebook24 3 92
hass-proscenic-800T-vacuum
proscenic 790T intergration for home assistant
Language:Python1 1 01
jupyter_contrib_nbextensions
A collection of various notebook extensions for Jupyter
Language:HTML3 2 40
jupyterlab-prolog
An experimental Jupyterlab extension to improve Prolog support
Language:TypeScript1 2 10
lclem.github.io
Language:HTML20
logic_course
Language:Haskell2 3 440
markdown-agda-mode
An Emacs mode for literate Markdown Agda programming
Language:Emacs Lisp3 2 11
prolog-kernel
A simple Jupyter kernel for SWI-Prolog
Language:Python2 2 30

lclem's Repositories

lclem/agda-kernel
An experimental Agda kernel for Jupyter
Language:Jupyter Notebook24 3 92
lclem/jupyter_contrib_nbextensions
A collection of various notebook extensions for Jupyter
Language:HTML3 2 40
lclem/lclem.github.io
Language:HTML20
lclem/logic_course
Language:Haskell2 3 440
lclem/hass-proscenic-800T-vacuum
proscenic 790T intergration for home assistant
Language:Python1 1 01
lclem/AirConnect
Use AirPlay to stream to UPnP/Sonos & Chromecast devices
Language:C1 0
lclem/Arduino-LoRa-Ra01S
An Arduino Library for LoRa Communication using SX1262/1268
Language:C++
lclem/artillery-Genius
Marlin 2.0.9.3 Firmware + TFT firmware for Artillery Genius 3D printer
lclem/avatarify
Avatars for Zoom and Skype
Language:Python1 0
lclem/BIGTREETECH-TouchScreenFirmware
support TFT35 V1.0/V1.1/V1.2/V2.0/V3.0, TFT28, TFT24 V1.1, TFT43, TFT50, TFT70
Language:C
lclem/ESP32Marauder
A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32
lclem/fritzing-app
Fritzing desktop application
lclem/fritzing-M1
lclem/heavy-minotaut
Heavy MinOTaut - Heavy Minimization Of Tree Automata
Language:C++0 0
lclem/JAiO2-2023.github.io
lclem/JAiO2-2024.github.io
lclem/lia
Language:TeX
lclem/logic_course_2020-2021
Language:Haskell
lclem/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:JavaScript1 0
lclem/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++0 0
lclem/midiStroke
MIDI to Keystroke Macro convertor for OS X
Language:Objective-C
lclem/MMM-MQTT
MQTT Client module for MagicMirror2
Language:JavaScript
lclem/notebook
Jupyter Interactive Notebook
Language:JavaScript
lclem/pi-github-runner
Docker config to easily enable arm and arm64 GitHub Actions via the self-hosted runner mechanism
Language:Shell0 0
lclem/pp
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
Language:Haskell1 0
lclem/RN2483-Arduino-Library
Arduino C++ code to communicate with a Microchip RN2483 module
Language:C++
lclem/tslib
Touchscreen access library
Language:C
lclem/unleashed-firmware
Flipper Zero Unleashed Firmware
lclem/weblatex
Language:TeX
lclem/wifite2
Rewrite of the popular wireless network auditor, "wifite" - original source by @derv82 right over