Lists (1)
Stars
Daily note-taking service/application, notes manager, based on python and web, it's not perfect, but very useful.
A Git-compatible VCS that is both simple and powerful
PowerShell module for managing .NET-based Windows Credential Providers
A library for creating secure Windows Credential Providers in .NET
o1-engineer is a command-line tool designed to assist developers in managing and interacting with their projects efficiently. Leveraging the power of OpenAI's API, this tool provides functionalitie…
Sweep: AI coding assistant for JetBrains
Promptr is a CLI tool that applies plain language instructions to the filesystem. Instructions can utilize a liquidjs based templating system. Use cases include refactoring, code generation, and ex…
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Record the installation of a Python package, and report any anomalies found
Portable Python 3.x Interpreter in Modern C for Game Scripting
Visualize Your Ideas With Code
A list of embedded scripting languages
Open source Python library for programming and debugging Arm Cortex-M microcontrollers
A Python script that exports all of your Spotify playlists.
A modern hardware definition language and toolchain based on Python
A Dockerfile with a collections of ready to use open source EDA tools: Yosys, SimbiYosys (with Z3, boolector and Yices2), nextpnr-ice40, netxpnr-ecp5, nextpnr-gowin, Amaranth HDL, Silice and Verila…
Create book from markdown files. Like Gitbook but implemented in Rust
virtual debug pod for RP2040 "Raspberry Pi Pico" with no added hardware
Socially scalable Code REView and recommendation system that we desperately need. See http://github.com/crev-dev/cargo-crev for real implemenation.
A better commenting experience from Vox Media
Rust / Wasm framework for creating reliable and efficient web applications
Umka: a statically typed embeddable scripting language