dev-m1-macbook's starred repositories
hash-prospector
Automated integer hash function discovery
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
prisma-kysely
🪄 Generate Kysely types directly from your Prisma schema!
hypermerge
Build p2p collaborative applications without any server infrastructure in Node.js
pixelpusher
pushin' pix
criterion.rs
Statistics-driven benchmarking library for Rust
flexsearch
Next-Generation full text search library for Browser and Node.js
electronegativity
Electronegativity is a tool to identify misconfigurations and security anti-patterns in Electron applications.
rid-examples
Examples showing how to use Rid in order to build Dart/Flutter apps integrated with Rust.
diesel_async
Diesel async connection implementation
30-seconds-of-css
Short CSS code snippets for all your development needs