A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
Repository Index
47,133 repositories indexed
37,537–37,560 of 43,633 · Most stars
Grunt plugin that compiles Elm files to JavaScript.
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Fast ESP_LCD based MicroPython driver for the TTGO T-Display-S3 st7789 display written in C
- esp32s3
- micropython
- st7789
- t-display-s3
Terminal UI for setting monitor resolution and scaling on Hyprland, with scaling recommendations by resolution. Detects displays via hyprctl or wlr-randr. Go and Bubble Tea.
install dependencies based on node version
A command-line tool to manage Github Issues
Godot Box / Room / Grid Based Camera Node.
- gdscript
- godot
- godot-engine
- godotengine
Simple Template Engine for Pascal
- template-engine
- pascal
- lazarus
Dapps templates for Algo Builder
- algorand
- algorand-blockchain
- dapps
- dapp-development
MicroPython library for the VoiceTX SYN6988 text to speech module
- micropython
- speech-synthesis
- tts
- syn6988
Configuration management library for Common Lisp with profile support.
Catch broken links before your readers do.
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Experimental router for Imba
a Crystal lang LDAP client
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Load popup, sidebar and background with JSDOM based on the manifest.json for testing purposes
Align content to center with this simple library for LÖVE
Dependency management and optimization in Jupyter Notebooks
- notebook
- jupyter-notebooks
- package-management
- dependency-manager
Tools to have transitions and animations with Userforms and Userform controls
- userforms
- transition
- animation
- vba
Doom Emacs Ada language module with syntax highlighting, LSP and Alire support
Trufi-Core Adaptation for Cochabamba-Bolivia
Adobe Air Native Extension for building bittorrent enabled applications
- adobe-air
- libtorrent
- ane
- bittorrent