An HTML documentation generator for Coq source files
Repository Index
47,133 repositories indexed
22,393–22,416 of 26,754 · Most stars
📓 Organize. Navigate. Create. Markdown. Keep all your notes, todos, and journals inside Neovim without ever leaving the editor.
Gameboy boilerplate to get started quickly
- gameboy
- dmg
- boilerplate
- boilerplate-template
Ant Design + Material Design Icon =
Dual Quaternion conversions from/to ROS messages
C++ implementation of the Antelope protocol with Savanna consensus
Enumeration list for CakePHP
- cakephp
- cakephp-plugin
- cakephp3
- enumeration
A V module to use multi-layer neural networks. Includes backpropagation but you can train them the way you want. If you have any questions or suggestions I'd be happy to read them !
This is a PowerToys Run Plugin that adds search suggestions when searching something
- browser
- plugin
- powertoys
- powertoys-run
Typed test data factories for Go. Compile-time checked field references, faker-backed defaults, and factories derived from factories.
- factories
- factory
- faker
- go
📡 GoodNetworking is an iOS library written in Swift that simplifies HTTP networking by using GRSession and Encodable/DataRequest extensions. It supports latest Swift and all iOS devices, making it a powerful solution for managing network interactions and data encoding/decoding. The library is easy to install with SPM.
- ios
- library
- swift
Android plugin for Godot 3.5.x to integrate Google Play Game Services in your games.
- godot
- google-play-games-services
- plugin
ESMira is a tool for running longitudinal studies (ESM, AA, EMA, ...) with data collection and communication with participants being completely anonymous.
- esm
- aa
- ema
- mobile
Catppuccin Mocha theme for Omarchy
Useful resources for Haxe JavaScript.
- haxe
- javascript
- js
- awesome
Gameanalytics.com client implementation for libGDX
An interpreter for C flat, a music-based programming language
VBA code for simple modification of PDF files (read in, combine, write out) with no external libraries
- vba
- vba-excel
A sample pastebin application for Pyramid
😺 Pinnable dynamic Gist with your latest AniList activity.
- pinned-gist
- python3
- docker
- anilist
A simple Set data structure implementation in Go (Golang) using LinkedHashMap.
- go
- golang
- set
- data-structures
Our entry for the gbjam 2016
- game-boy
- gameboy
- video-game
- platformer
The repository host gives no description.
Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.
- java
- nvim
- plugin