Lists (1)
Starred repositories
Emanate a structured view of your plain-text notes
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
An environment for creating and exploring L-Systems.
Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
Semantic Search using FAISS & ElasticSearch
A changelog generator which uses GitHub's API for the details
This changelog action is a beast :)
MicroPyServer is a simple HTTP server for MicroPython projects.
Visual, Interactive Articles About Machine Learning: https://mlu-explain.github.io/
Slides for "Feature engineering for time series forecasting" talk
Lecture notes for a short course on proving/programming in Coq via SSReflect.
🔵 An open source CMS built for hackers and hobbyists.
A fully open-source headless CMS that supports Markdown and Visual Editing
Read-only mirror of the official repo at git://sigrok.org/libsigrok. Pull requests welcome. Please file bugreports at sigrok.org/bugzilla.
Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok
Crash course to master gradient-based machine learning. Also secretly a JAX course in disguise!
TIC-80 is a fantasy computer for making, playing and sharing tiny games.
SPI master and SPI slave for FPGA written in VHDL
This is simple carrier board for your CM4
Performance writing to GPIO with CPU and DMA on the Raspberry Pi
This is a script by which you can install Ubuntu in your termux application without a rooted device
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)
Docker Image for Trac Project Management and Issue Tracking