Repository Index

The repository host gives no description.

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

A GUI Framework for LÖVE

Authenticate users in your Symfony app via a single query parameter (e.g. email and newsletter links).

Emoji source for blink.cmp.

• emoji
• emoji-picker
• neovim
• neovim-plugin

String metrics and phonetic algorithms for Elixir (e.g. Dice/Sorensen, Hamming, Jaccard, Jaro, Jaro-Winkler, Levenshtein, Metaphone, N-Gram, NYSIIS, Overlap, Ratcliff/Obershelp, Refined NYSIIS, Refined Soundex, Soundex, Weighted Levenshtein)

A highly customizable Lua 5.2 build system, allowing for common external modules to be linked in statically, and built-in modules to be excluded

Tamp is a low-memory, DEFLATE-inspired lossless compression library.

• compression
• deflate
• heatshrink
• lossless

Tinkerpop Blueprints Scala

gremlin-server php driver compatible with TinkerPop3. It will allow you to connect to gremlin-server and it's backends (Neo4J, Titan, etc.)

Provides a SQL interface to your TinkerPop enabled graph db

Classic Black Jack game in Neovim

A Simulator for Software-Defined Wireless Local Area Network

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

A pure JavaScript implementation of TinkerPop's TinkerGraph in-memory graph database

Flume NG MongoDB source.

• flume
• sink
• mongodb

Spring data gremlin makes it easier to implement Graph based repositories. This module extends Spring Data to allow support for potentially any Graph database that implements the Tinkerpop Blueprints 2.x API.

TinkerPop 3 implementation on Elasticsearch backend

CSSHórus is a library for easy and fast development of responsive and mobile websites. It contains 12 grid columns and basic style formats (Reset, Print, Grid, Misc styles) and now with 'Skins' stylizing (Typography, Lists, Links, Table, Form, Buttons) for your web project, also with RTL and LESS CSS. See my other projects -->

🌻🌸 The ultimate decentralized website deployment toolkit

• ipfs
• blockchain
• cli
• dnslink

Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.

Vuldroid is a Vulnerable Android Application made with security issues in order to demonstrate how they can occur in code

• android-application
• webview-xss
• application-security
• vulnerable-application

A load balancing link shortener

• diesel
• link-shortener
• rust
• tailwind

Shared library for blink.* neovim plugins