Search: github.com/bkase | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems)

110 points

2 years ago

782.

reveal.js: HTML5 based Slide Presentation Tool (github.com/hakimel)

110 points

14 years ago

783.

Swarm: A resource-gathering game based on robot programming, written in Haskell (github.com/byorgey)

110 points

5 years ago

784.

Show HN: Grafito – Portable, Serverless and Light SQLite-Based Graph Database (github.com/arturo-lang)

110 points

5 years ago

785.

OnnxStream: Stable Diffusion XL 1.0 Base on a Raspberry Pi Zero 2 (github.com/vitoplantamura)

109 points

2 years ago

786.

Tania – PHP-based free and open source farming management system (github.com/Tanibox)

109 points

9 years ago

787.

Lightweight Arch-based distro that runs, without root, upon any Linux distro (github.com/fsquillace)

109 points

3 years ago

788.

Spinner-mouse: Arduino-based USB rotary controller for Arkanoid, Tempest, etc. (github.com/carlosefr)

108 points

2 years ago

789.

Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com/lsartory)

106 points

8 months ago

790.

Constraint-based geometry (CAD) sketcher for Blender (github.com/hlorus)

106 points

4 years ago

791.

Show HN: Dat-keyserver: a distributed PGP keyserver based on the Dat protocol (github.com/tdjsnelling)

106 points

7 years ago

792.

VRAMfs – VRAM based file system for Linux (github.com/Overv)

105 points

11 years ago

793.

Simcoin – A Docker-Based Blockchain Simulation Framework (github.com/simonmulser)

105 points

8 years ago

794.

Show HN: OpenCV based multi-object-tracker with various object detection models (github.com/adipandas)

105 points

7 years ago

795.

Pengwin – A Linux Distro Optimized for WSL Based on Debian (github.com/WhitewaterFoundry)

104 points

7 years ago

796.

CadQuery –- A Python parametric CAD scripting framework based on OCCT (github.com/CadQuery)

104 points

4 years ago

797.

Jsonbox – A HTTP based JSON storage (github.com/vasanthv)

104 points

7 years ago

798.

HPAT – A compiler-based framework for big data in Python (github.com/IntelLabs)

104 points

9 years ago

799.

A non-federated decentralized social protocol based on Git (github.com/social4git)

103 points

3 years ago

800.

A Blockchain-based DNS and HTTP server (github.com/okTurtles)

103 points

12 years ago

801.

AyaFlow: A high-performance, eBPF-based network traffic analyzer written in Rust (github.com/DavidHavoc)

103 points

2 months ago

802.

Mle is a small, flexible, terminal-based text editor written in C (github.com/adsr)

102 points

4 years ago

803.

Zapcc – A caching C++ compiler based on clang (github.com/yrnkrn)

102 points

8 years ago

804.

Gosniff: A TUI-Based Tcpdump (github.com/c-grimshaw)

102 points

4 years ago

805.

Cupcake - A Rust library for lattice-based additive homomorphic encryption (github.com/facebookresearch)

102 points

5 years ago

806.

Half-Life 1 engine based games (github.com/ValveSoftware)

101 points

12 years ago

807.

Sxc – An s-expression based language source transpiler for C (github.com/burtonsamograd)

101 points

9 years ago

808.

Show HN: Rssnix – Unix-style filesystem-based RSS/Atom/JSON Feed fetcher/reader (github.com/jafarlihi)

101 points

4 years ago

809.

Show HN: Alaz: Open-Source, Self-Hosted, eBPF-Based K8s Monitoring (github.com/ddosify)

101 points

3 years ago

810.

LemonGraph – A log-based transactional graph (github.com/NationalSecurityAgency)

101 points

8 years ago