47,133 repositories indexed
73–80 of 80 · Most stars
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
TranslatedA real-time chat platform built with PocketBase and Vue3.
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
Utilities for running Common Lisp on CI platforms
Static analysis from configs → Kubernetes NetworkPolicies in seconds
Mass deploy and update Suricata IDPS using Ansible IT automation platform
This is a One-Click docker images and containers setup base which is doing via a lot of bash scripts. My primary target is embedded linux development and you can choose your target whatever you want. Have fun. Thank you for your starts.