Search: github.com/7mind | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Rav1e, an AV1 encoder written in Rust and assembly

github.com/xiph

6 years ago

203 points

872.

Sound As Pure Form: Music Language Inspired by Supercollider, APL, and Forth

github.com/lfnoise

a year ago

190 points

873.

Crev: dependency vetting with a web of trust

7 years ago

190 points

874.

Little File Explorer – File Manager for Android 1.0 and above

github.com/martinmimigames

2 years ago

Mr_Minderbinder

181 points

875.

A math problem generator

github.com/lukew3

4 years ago

145 points

876.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

877.

Qimgv – Fast, simple image viewer

github.com/easymodo

2 years ago

Mr_Minderbinder

131 points

878.

Castle Game Engine: Cross-platform 3D and 2D game engine

github.com/castle-engine

6 years ago

128 points

879.

Show HN: A simple GUI Notepad using C++ natively made in my high school in 2015

github.com/vibhoothiiaanand

6 years ago

87 points

880.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

881.

ClojureScript de Jong Attractor

github.com/cjlarose

11 years ago

53 points

882.

Cascade - a web framework for Clojure by Tapestry author

github.com/hlship

17 years ago

47 points

883.

Incanter is a Clojure, R-like statistical computing and graphics environment

github.com/liebke

17 years ago

39 points

884.

J4rs – 'Java for Rust' allows effortless calls to Java from Rust and vice-versa

github.com/astonbitecode

2 years ago

36 points

885.

Computational Cognitive Neuroscience – 4th ed

github.com/CompCogNeuro

4 years ago

26 points

886.

SpiderFoot automates OSINT for threat intelligence

github.com/smicallef

2 years ago

16 points

887.

Oumi-AI/oumi: Everything you need to build foundation models, end-to-end

github.com/oumi-ai

a year ago

14 points

888.

Umap is a simple, user- space page fault handler using Linux userfaultd

github.com/LLNL

2 years ago

14 points

889.

The RuboCop Name Drama Redux

github.com/rubocop-hq

6 years ago

13 points

890.

Show HN: LoongForge-A high-performance training framework for LLM, VLM, VLA, Wan

github.com/baidu-baige

a month ago

10 points

891.

Show HN: Plot your Docker Image’s downloads over time

github.com/aeneasr

6 years ago

9 points

892.

Collection of Eliza Implementations

github.com/jeffshrager

5 years ago

7 points

893.

github.com/ChrisKempson

15 years ago

7 points

894.

Response to Google's Keras-PyTorch Benchmarks

gist.github.com

2 years ago

6 points

895.

GroovyLab – Matlab like user friendly scientific programming using Groovy

github.com/sterglee

10 years ago

5 points

896.

The Voids of Haskell

github.com/graninas

5 years ago

4 points

897.

Show HN: Args – Minimal toolkit for building CLIs with node

10 years ago

4 points

898.

Show HN: Muffin - A new kind of CMS built with Ember.js and Node

10 years ago

3 points

899.

MCP Toolbox for Databases – open-source MCP server for databases

github.com/googleapis

a year ago

3 points

900.

Sshuttle – Transparent proxy server that works as a poor man's VPN

github.com/sshuttle

3 years ago

3 points