A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
529–552 of 978 · Most stars
Trac is an enhanced wiki and issue tracking system for software development projects (mirror)
- issue-tracker
- bug-tracker
- wiki
- project-manager
A faster drop in replacement for bin/magento cache:clean with file watcher
- magento2
- cachemanager
- development-utility
A tilemap editor for Game Boy, Color, Advance, DS, and SNES projects. Written in C++ with FLTK.
- tilemap
- tilemap-editor
- game-development
- gameboy
Sinatra inspired web development framework for Dart
Easily create data-driven web UI's for Node-RED. Single- & Multi-page. Multiple UI's. Work with existing web development workflows or mix and match with no-code/low-code features.
- node-red
- websockets
- javascript
- html
The Railcraft Mod for Minecraft, source and development.
- minecraft-mod
- minecraft
- java
- railcraft
In-page HTTP controller for frontend development. Intercept, modify, and simulate API responses directly in the browser.
Web/desktop UI for Gemini CLI/Qwen Code. Manage projects, switch between tools, search across past conversations, and manage MCP servers, all from one multilingual interface, locally or remotely.
Skills and career roadmap for various security roles like application security, cloud security, DevSecOps, security engineer, security researchers, pentesting, api security, network security, mobile security and so on with helpful resources, guidelines
- security-tools
- security-automation
- aws-security
- cloud-security
A curated list of awesome libraries, snippets, guides, and projects for GameMaker.
Port of a popular ruby faker gem written in kotlin. Generate realistically looking fake data such as names, addresses, banking details, and many more, that can be used for testing and data anonymization purposes.
- kotlin
- kotlin-library
- testing
- faker
Game engine for making 2d games on iOS, macOS and tvOS, with practical examples and tutorials
- game-engine
- 2d-game-engine
- games
- spritekit
GitHub repository for official ILIAS release branches and development branches (trunk)
- hacktoberfest
- php
- lms
- ilias
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
- arithmetic
- integer-arithmetic
- fixed-point-arithmetic
- rational-arithmetic
Godot 4 template for game projects (GDScript), inspired by Maaack's Template.
- game
- game-template
- godot
- godot-engine
Blogs about Android
- android
- blogs
- android-blogs
- android-development
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.
- hardware
- verification
- hdl
- simulator
Godot template with a main menu, options menus, credits, and a scene loader.
- godot
- godot-addon
- godot-plugin
- godot-template
A curated list of awesome Gradle plugins and resources for a better development workflow automation.
Enterprise UI Components - Grid, Scheduler, Gantt, Kanban & more. Works with Angular, React, NextJS, Vue, Vanilla Javascript and .NET Blazor
- web-components
- angular
- datagrid
- grid
You can outsource your thinking, but not your understanding. A hook for agent-assisted development that quizzes you on the changes before you push to prod.
A comprehensive guide on learning how to code cross platform mobile applications with the Flutter framework, from the ground up.
:1st_place_medal: Roadmap to become a system design and architecture master
- roadmap
- system-design
- software-architecture
- study-plan