Stars
This is a tool that helps perform topology optimization on your OCP-based CAD models (CadQuery/Build123d/...) using the dl4to library.
Chat with GitHub Copilot in Neovim
Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library
Ondsel-Development / FreeCAD
Forked from FreeCAD/FreeCADThis is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
Read two temperature sensors (DHT11 or DS18B20), set PWM fan speed based on temperature differential.
If the plugin does not work for some syntax, feel free to report to the issue tracker!
barafael / mpu6050-dmp-rs
Forked from drogue-iot/drogue-mpu-6050Platform-independent I2C driver for MPU6050. Supports DMP usage. Fork of drogue-mpu-6050 which uses only embedded-hal traits (no dependency on embedded-time or drogue-embedded-timer).
A library for creating reactive web apps in Rust and WebAssembly
Curated list of resources for ESP32 development in the Rust programming language
Rust on ESP32 STD demo app. A demo STD binary crate for the ESP32[XX] and ESP-IDF, which connects to WiFi, Ethernet, drives a small HTTP server and draws on a LED screen.
Offline-first smart energy monitoring platform using Rust, ESP32, Thingsboard, and a fork of Thingsboard Mobile flutter app.
Context sensitive completion for OCaml in Vim and Emacs
GHC plugin to desugar ! into do-notation
Produce Haskell functions out of partial definitions
Lightweight FRP library dyna and bindings to other UI packages
Light Brakes are smart glasses that selectively filter out excessively bright spots (e.g. the Sun, headlights, glare) from a wearer's field of vision in real-time.
🍲🍴 A command-line manager for delicious kitchen recipes
Type safe interface for working in subcategories of Hask
Extensible records, variants, structs, effects, tangles