lclem Goto Github PK
Name: Lorenzo C
Type: User
Name: Lorenzo C
Type: User
GitHub action that will commit the result to an input branch
An experimental Agda kernel for Jupyter
Accessing Agda's interaction mode via command line & external tactic for Agda.
Programming library for Agda
The Agda standard library
Use AirPlay to stream to UPnP/Sonos & Chromecast devices
An Arduino Library for LoRa Communication using SX1262/1268
Marlin 2.0.9.3 Firmware + TFT firmware for Artillery Genius 3D printer
Avatars for Zoom and Skype
support TFT35 V1.0/V1.1/V1.2/V2.0/V3.0, TFT28, TFT24 V1.1, TFT43, TFT50, TFT70
A fully-modern text-based browser, rendering to TTY and browsers
Agda mode and input helper for CodeMirror used on Codewars
Hunspell dictionaries in UTF-8
A simple Android app for offline access of a popular English dictionary
A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32
Fritzing desktop application
proscenic 790T intergration for home assistant
Heavy MinOTaut - Heavy Minimization Of Tree Automata
Jekyll-book for Robert C. Binkley and Frances W. Binkley, What is Right with Marriage (1929)
Custom Jupyter Notebook Themes
A collection of various notebook extensions for Jupyter
An experimental Jupyterlab extension to improve Prolog support
Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.