An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Repository Index
65,264 visible repositories in the index
481–504 of 562 · Most stars
Low latency, web based, open source, high quality, voice-over-ip intercom solution
- intercom
- voice
- voip
- broadcast
Web application that manage food recipes with simplicity
- allinone
- django
- docker
- docker-compose
Push-to-talk voice dictation for Linux. 100% local, multilingual (25+ languages), with speaker diarization. Qt frontend, Rust backend on NVIDIA Parakeet via ONNX Runtime. KDE Plasmoid integrated.
- asr
- linux
- nvidia
- parakeet
Blazor UI Components & Examples
- blazor
- microsoft-blazor
- asp-net-core
- dotnet
Veganify is a modern webapp that allows you to easily scan EAN barcodes to check if a product is vegan-friendly. With a database of over 3 million products, you can quickly find out if your favorite foods and products are suitable for a vegan diet.
- scanner
- barcode
- html5
- javascript
Dionaea Front Web
im app frontend
Recipe manager frontend
- recipe-app
- recipe-manager
- recipes
- svelte
CSVY yaml frontmatter for csv file format
A comprehensive guide to debugging tools for modern, complex front-end applications. This handbook provides practical, real-world guidance on a complete suite of tools, from Chrome DevTools and framework extensions to integrated IDE debuggers.
- chrome-devtools
- chrome-devtools-mcp
- react-devtools
- redux-devtools
A blog system in which frontend and backend are ALL written in Rust. Backend powered by Warp and frontend built on Yew (WASM)
Next-level routing for Svelte and Sveltekit
- mfe
- microfrontend
- router
- svelte
Component Library for Ember Octane apps
ClojureScript library to validate forms
- clojurescript
- spec
- form-validation
- frontend
Motion is a framework for building reactive, real-time frontend UI components in your Amber application using pure Crystal that are reusable, testable & encapsulated.
- crystal
- crystal-lang
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
The Blog built on pure Rust stack. Backend for graphql services, and frontend for web application.
- rust
- async-graphql
- mongodb
- rhai
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
- tide
- mongodb
- async-graphql
- rust
Work with Amazon S3 and Amazon CloudFront from Common Lisp
MatchFlow is a full-stack invoice processing and purchase-order matching system—built on Clean Architecture with a React+Nginx front-end, a .NET 6 API back-end, Azure Form Recognizer OCR, Azure Blob Storage, and Docker Compose for one-command local setup.
- azure
- docker-compose
- dotnet-core
- nginx-proxy
Ember on the front, WordPress at the back
Fast and minimal Ember.js CLI alternative, without broccoli.
A netflix-like portal application with pilets
- sample
- piral
- demo
- microfrontends