Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Repository Index
47,133 repositories indexed
5,857–5,880 of 7,839 · Most stars
An Open Source Website for running small, local development events
Elixir library to create thumbnails from images and video screenshots.
Struts Apache 2 based honeypot as well as a detection module for Apache 2 servers
🏦 I built this site to integrate with Up bank (an Australian digital bank), to assist users with budgeting and to gain powerful future insights.
- blazor
- blazor-server
- ant-design
- antblazor
Single user snippet manager web app.
- snippet
- snippets
- snippets-manager
- user-snippets
A Simulator for Software-Defined Wireless Local Area Network
HomeServer Infrastructure and Integrated Installer
A template to empower developers and reduce time wasted on control changes
- powerapps
- branding
Ideas for a hackathon
The repository host gives no description.
Open the current word with custom openers, GitHub shorthands for example.
Secure Preference Manager for android. It uses various Encryption to protect your application's Shared Preferences.
- sharedpreferences
- encryption
- android
- security
A collection of Dev Container Features.
- devcontainers
Principled Test Framework for Ruby and MRuby
TranslatedOpen-source unified usage dashboard for Claude — track tokens, quota, costs across Claude Code, claude.ai & API in one panel. Suitable for Pro/Max subscribers and developers. https://dyp23yngrtumg.ok.kimi.link
:awesome = Elixir's Task ++ Basho's sidejob library
A quick guide to revive the legacy Nokia N95 and develop for it. Should also work for the 8GB version
- nokia
- n95
- nokia-n95
- python
A Go type to prevent internal numeric IDs from being exposed to clients using HashIDs and JSON.
- golang
- id
- json
- type
ES2017 spec-compliant shim for Object.values
- ecmascript
- javascript
- polyfill
- shim
Run `nix develop` without restarting neovim
.NET implementation of a General Transit Feed Specification (GTFS) feed parser.
Logstash backend for the Elixir Logger
- logstash
- elixir-logger
- elixir
- udp
I can keep a SSHecret
- ssh
- ssh-agent
- ssh-agent-forwarding
- ssh-keygen