Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
1,849–1,872 of 3,314 · Most stars
NLog integration for ASP.NET & ASP.NET Core
- nlog
- asp-net
- asp-net-core
- asp-net-core-mvc
A tiny (673 bytes) router for Nano Stores state manager
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
Ergonomic state management for Yew applications
- yew
- wasm
- web
- state
Zero Allocation Writer/Reader Parser for .NET Core
- flatfile
- csv
- tsv
- delimited
👀 iOS11 demo application for age and gender classification of facial images.
- ios
- swift
- swift4
- vision
A many speaker distributed music synthesizer using UDP multicast over WiFi
- synth
- wifi
- esp32
Macros for more flexible composition with the Elixir Pipe operator
Web-GUI Embedded Multitool
- 3d-printing
- debug
- embedded
- interface
🔧 Machines, ICs, PLCs, and more!
- java
- craftbook
- minecraft
- redstone
The repository host gives no description.
Photoreal Blender scenes from a one-paragraph brief, built by AI agents: image→3D props on fal, scripted layout, lighting, camera and grade.
A clojuresque key-value/document store protocol with core.async.
- konserve
- key-value-store
- clojure
Valit is dead simple validation for .NET Core. No more if-statements all around your code. Write nice and clean fluent validators instead!
- validation
- fluent-api
- dotnet
- core
Fork of dotnet-architecture/eShopOnContainers in full DDD/CQRS design using my own patterns
- ddd
- domain-driven-design
- nservicebus
- eventstore
Flexible datastore migration and seeding for Clojure projects
MyFin Budget - Web frontend for the personal finances platform that'll help you budget, keep track of your income/spending and forecast your financial future.
- pfm
- personal-finance-manager
- personal-finances
- budgeting
The repository host gives no description.
- hacktoberfest
- data
- datalineage
- dbt
Inject OWASP recommended HTTP Headers for increased security in a single line
Lightweight and Extensible Infrastructure for Building Web Applications - Web Application Framework
- dotnet-core
- efcore
- aspnet-core
- solid
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
- avx2
- dfa
- go
- golang
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
An opinionated HTTP library for .NET applications built on HttpClient message handlers. Provides request de-duplication, prioritised concurrency limiting, speculative background fetching and optional response caching.