Repository Index

Smart contracts which are formally verified

This is an Old School horizontal scroller 'Shoot Them All' game in bash. With multiplayer modes team and duel. You have to defeat 100 aliens to fight with Boss. I'm using netcat for client-server exchange in multiplayer mode. So netcat have to be installed on system if you wish to play with friend. Terminals on both hosts have to be with equal dimensions.

Low-code tool for automating actions on real time data | Stream processing for the users.

• flink
• flink-kafka
• apache-flink
• gui

Elegant ⏱ interface for Swift apps

• timer
• swift

Storytime is a Rails 4+ CMS and blogging engine, with a core focus on content. It is built and maintained by @cultivatelabs

TranslatedArmor-breaking (jailbreak) experiment project targeting GPT 6.0 and workbuddyV4.1flash

• ai
• codex
• codex-cli
• desktop-app

🌐 jQuery based internationalization library

• javascript
• i18n
• intl

A Go package for engineering organisms.

• synthetic-biology
• synbio
• genetic-engineering
• molecular-biology

Straightforward realtime kanban boards management for intuitive task tracking. 4ga Boards features an elegant dark mode, collapsible todo lists, and multitasking tools to supercharge your team's productivity.

• boards
• collaboration
• kanban
• react

A date and time library for Clojure, wrapping the Joda Time library.

Create complementary gradients generated from dominant and prominent colors in supplied image. Inspired by Grade.js

• cocoapods
• gradient
• color
• swift

cmix is a lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage.

Build realtime Ruby web applications. Created by the fine folks at Poll Everywhere.

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

• streaming
• database
• iot
• stream-processing

Free SDR receiver for macOS, Windows and Linux: digital TV (DVB-T/T2, DVB-C, DVB-S/S2, ATSC, ISDB-T, DTMB), DAB+, FM, DRM, aviation (ADS-B, ACARS, VDL2), satellites, GNSS, ham modes (FT8, PSK31, CW), digital voice, cell towers and a spectrum analyser. HackRF, RTL-SDR, Airspy, SDRplay, BladeRF, LimeSDR, Pluto, USRP.

• atsc
• dab
• digital-tv
• dvb-t

Real time semantic slam in ROS with a hand held RGB-D camera

• semantic-segmentation
• slam
• semantic-slam
• octomap

🏈 Cache CocoaPods for faster rebuild and indexing Xcode project.

• cache-pods
• cocoapods-optimisation
• xcode-indexing
• xcode-performance

Ruby test runner for Sublime Text with Minitest, Test::Unit, RSpec, and Cucumber support, single-test execution, and code/test switching.

⚡ Pi, the coding agent, compiled ahead of time to one native executable. 10× faster to start, 7× less CPU and 4.5× less memory than Pi on Node. Linux, macOS, Windows, ARM64 and Android (Termux).

• ahead-of-time
• bun
• coding-agent
• linux

🦕 Deno Version Manager - Easy way to manage multiple active deno versions.

• deno
• runtime
• version
• typescript

Real-time observability of claude code sessions & multi-agents.

Ruby wrapper around pHash, the perceptual hash library for detecting duplicate multimedia files

• phash
• ruby
• image-analysis
• duplicate-multimedia-files

[Siggraph Asia 2013] Large-Scale, Real-Time 3D Reconstruction

• 3d-reconstruction
• kinect
• computer-vision

C++ Reflection Parser / Runtime Skeleton

• cmake
• libclang
• c-plus-plus
• meta