Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
47,133 repositories indexed
505–528 of 564 · Most stars
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
The repository host gives no description.
as3pathfinder is a Grid Path finding Library written on Action Script 3. It is finding shortest route from start point to end on a 2D grid for given map of obstacles. Utilizes Dijkstra's algorithm.
Boilerplate for a minimal fremp stack app
A simple, but powerful scene/gamestate manager that uses a stack
C++ backend for the jupyter webrtc widget
Mustache implementation in simple procedural Pascal
DIY rotating platform using an ESP32 connected to Wi-Fi
Instantly add Corda to any tech stack and improve resiliency of your architecture
A Clarity smart contract for crowdfunding on the STX blockchain.
Handy UIControl subclasses. (Think Three20/NimbusKit of UIControls.)
Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.
🎮 Full-stack web game platform with AI opponents, multiplayer, and tournaments
AsyncJob is an asynchronous queue job manager with light code, clear and speed. I hope so ! 😬
Enterprise ready set of web components which work best with Eclipse Furo. Comes with minimal footprint. Based on web standards. Future proved. Compliant with any technology of choice.
Mustache (http://mustache.github.com) module for the Play! Framework
A logging library with strack traces, object dumping and optional timestamps
Multi-user issue tracking and knowledge base app built with Yew & Actix
🚘 Website for the Triumph Mayflower Club, launched in March 2018 #goodfirstproject #fledgelingdevswelcome
The repository host gives no description.
Cone application stack
stacks blockchain on https://render.com
Use multiple authentication policies with Pyramid.
Encrypted .env files with TOTP unsealing for production deploys. Cross-stack (Node + Java). Zero deps. Defends against npm supply-chain attacks.