Continuous streaming from Pico Technology oscilloscopes
☆14Mar 2, 2025Updated last year
Alternatives and similar repositories for pico-sdk
Users that are interested in pico-sdk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental HKT framework and generic traits for the standard library☆22Dec 11, 2022Updated 3 years ago
- LTS Haskell and Stackage Nightly snapshot configurations (experimental, for pantry)☆16Updated this week
- Experimental effects library for Idris 2☆44May 13, 2022Updated 3 years ago
- Pure Rust implementation of FIPS 205 Stateless Hash-Based Digital Signature Standard for server, desktop, browser and embedded applicatio…☆16Sep 1, 2025Updated 6 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 9 months ago
- ☆22Sep 5, 2016Updated 9 years ago
- ☆32Oct 22, 2024Updated last year
- yes it is☆17Jun 2, 2021Updated 4 years ago
- A complete specification on Zilch and N⋆☆11Jan 29, 2023Updated 3 years ago
- LTeX+ Language Server support for Zed☆17Dec 1, 2025Updated 3 months ago
- Bitcoin wallet / PSBT signing app for Mediatek MRE RTOS (e.g. Nokia Series 30+)☆21Oct 17, 2022Updated 3 years ago
- implementation deriving for idris2☆12Feb 21, 2021Updated 5 years ago
- A lightweight abstraction layer around nginx and lego☆25Sep 25, 2022Updated 3 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- Консольный VK клиент☆10May 29, 2017Updated 8 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- DDS (Direct Digital Synthesis) Analog Devices AD9910 Arduino Shield by GRA & AFCH☆12Apr 11, 2025Updated 11 months ago
- libcurl bindings for idris2☆15Feb 21, 2021Updated 5 years ago
- Search, preview, and generate .gitignore files with focused TUI.☆40Updated this week
- Micropython crypto code as independant subcomponent☆13Mar 17, 2021Updated 5 years ago
- ☆18Oct 9, 2025Updated 5 months ago
- GPU RKF45 (Runge–Kutta–Fehlberg) ODE solver written in pycuda/python3☆10Mar 22, 2019Updated 7 years ago
- Thin wrapper around [`tokio::process`] to make it streamable☆16May 20, 2025Updated 10 months ago
- ☆16Jul 3, 2023Updated 2 years ago
- Hardware abstraction layer for HackRF software-defined radio☆14Feb 4, 2017Updated 9 years ago
- ☆16Nov 2, 2024Updated last year
- Count Min Sketch implementation for Rust☆14Feb 9, 2026Updated last month
- ☆12Nov 11, 2022Updated 3 years ago
- Notes on the Eclypse Z7 development board☆16Oct 25, 2025Updated 4 months ago
- Manage LXD/LXC Containers on a remote Linux Container Host☆13Feb 3, 2018Updated 8 years ago
- ☆13Sep 2, 2019Updated 6 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Jan 27, 2011Updated 15 years ago
- A new social mechanism to onboard, gift, transfer or sell bitcoin in a physical, safe and reusable way.☆17Nov 22, 2022Updated 3 years ago
- Firmware for the Sinara Booster RF amplifier☆13Mar 16, 2026Updated last week
- A Rust attribute macro to limit a function's number of runs over a specified period of time☆12Aug 16, 2022Updated 3 years ago
- ☆11Jan 31, 2015Updated 11 years ago
- ☆16Mar 28, 2017Updated 8 years ago
- Composite video output from M0 microcontrollers☆19Mar 3, 2026Updated 2 weeks ago
- A c-lightning plugin that exports all payments to a CSV file☆10Mar 2, 2019Updated 7 years ago