Repository Index

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

• coq
• mathematics
• unimath
• coq-library

Ultimate Javascript Object Signing and Encryption (JOSE), JSON Web Token (JWT) and Json Web Keys (JWK) Implementation for .NET and .NET Core

• jose
• jwt
• json
• jwa

🧾 Daily journaling without distraction. An easy, distraction-free way to record your thoughts, declutter your mind and keep the things you want to remember. Join the discord at https://discord.gg/uNjJzZvccr

• electron
• vue
• thoughts
• journal

A launch point for your personal nvim configuration

• neovim
• neovim-configuration

animated page transition for major ssr frameworks and browsers, including Safari

• animation
• nextjs
• page-animation
• react

PiKISS for Raspberry Pi: A bunch of scripts with menu to make your life easier.

• raspberry-pi
• shell
• scripts-collection
• odroid

Self-hosted private chat: no cloud, no telemetry, no Big Tech. Discord alternative that runs on your own machine.

• chat
• discord
• discord-alternative
• messaging

Flutter plugin for connecting and communicationg with Bluetooth Low Energy devices, on Android, iOS, macOS, Web, Linux, Windows.

BYOK voice recording companion with ASR transcription, speaker diarization, AI summaries, and local ASR endpoint support.

• bluetooth-low-energy
• byok
• privacy
• speech-to-text

Bitcart is a free and open-source self-hosted payment processor for BTC, LTC, BCH, XMR, ETH, TRX, USDT and more

• python
• docker
• docker-compose
• bitcoin

Wondershare Recoverit Desktop Installer with Complete Data Recovery Capabilities

• android-data-recovery-software-fonelab
• automation
• data-recovery
• data-recovery-software

A W.I.P Android Security Ref

• android
• security

Deployment platform for teams to deploy internal tools. Deploy web apps declaratively, on a single-node or on Kubernetes, with OIDC/SAML auth and RBAC.

• golang
• htmx
• starlark
• devops-tools

Detect deauthentication frames using an ESP8266

• arduino
• esp8266
• deauth
• attack

Agent-first reverse engineering for macOS, Windows and Linux: any ACP agent reads, renames and patches binaries, Android apps and GPU kernels next to you.

• acp
• ai-agents
• android
• decompiler

GD Graphics Library

• graphics
• 2d
• vector
• processing

Simple and elegant invoicing solution.

• invoice
• quotes
• billing
• invoicing

DecoView: Android arc based animated charting library

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

• artifact-integrity
• pptx
• python
• supply-chain-security

Simple Swift Dependency container. Use protocols to resolve your dependencies and avoid singletons / sharedInstances!

:point_up::running: Modern Relay Starter Kit - Integrated with Relay, GraphQL, Express, ES6/ES7, JSX, Webpack, Babel, Material Design Lite, and PostCSS

• react
• relay
• graphql
• nodejs

A Laravel Admin Panel (Laravel Version : 6.0)

• php
• laravel
• laravel-admin-panel
• rest-api

Super simple PDF invoicing

• pdf-invoice
• invoice-pdf
• pdf-generation
• prawn

Abe: block browser for Bitcoin and similar currencies