Search: github.com/lra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

MLHelper: Algorithms and utils for Machine Learning in JavaScript

github.com/laoqiren

9 years ago

65 points

782.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

783.

Lans.py: capture usernames, passwords, messages and inject arbitrary HTML

github.com/DanMcInerney

13 years ago

64 points

784.

Programming language Dino and its implementation

github.com/dino-lang

a year ago

64 points

785.

Open-Source Washing

github.com/ergomake

3 years ago

63 points

786.

LangGraph Engineer

github.com/hwchase17

2 years ago

63 points

787.

Transducers for Python

github.com/cognitect-labs

11 years ago

63 points

788.

Maud: Compile-time HTML templates for Rust

github.com/lambda-fairy

6 years ago

63 points

789.

Futures Is Stable on Rust 1.36

github.com/rust-lang

7 years ago

63 points

790.

1995 DOS game opensourced, needs hacker love

github.com/LaPingvino

15 years ago

63 points

791.

A Ruby wrapper for LaTeXML

github.com/Authorea

10 years ago

63 points

792.

Show HN: Multiplayer game in WebGL/JavaScript with full source

github.com/lallassu

11 years ago

62 points

793.

Jekyll Lambda – Minimal Theme for Jekyll

github.com/lauris

11 years ago

61 points

794.

RZK: Experimental proof assistant for synthetic ∞-categories

github.com/rzk-lang

3 years ago

61 points

795.

Show HN: Massren – multi-rename tool using your text editor

github.com/laurent22

12 years ago

61 points

796.

Show HN: LadyLua, batteries-included static Lua 5.1 interpreter

github.com/tongson

5 years ago

61 points

797.

Replace the “among us” reference with “here”

github.com/rust-lang

5 years ago

60 points

798.

github.com/jrpie

5 months ago

58 points

799.

Node.js binding for libobs – OBS studio's internal library

github.com/stream-labs

5 years ago

58 points

800.

Show HN: Dynamic drawing application in Swift, inspired by Bret Victor talk

github.com/laszlokorte

10 years ago

58 points

801.

Blogging with Org-mode for lazy people

github.com/novoid

4 years ago

58 points

802.

See what is unencrypted in your LastPass vault

github.com/cfbao

4 years ago

58 points

803.

Post mortem of our 1st YC startup: a Reverse ETL

github.com/getlago

4 years ago

57 points

804.

Automate deep learning training with Kubernetes GPU-cluster

github.com/Langhalsdino

9 years ago

57 points

805.

GlazeWM: A tiling window manager for Windows inspired by i3 and Polybar

github.com/lars-berger

3 years ago

57 points

806.

Apple Macintosh System Software 7.1 source (m68k and basic PPC)

github.com/laniku

2 years ago

56 points

807.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

808.

Show HN: CloudMapper, open-source tool for visualizing AWS environments

github.com/duo-labs

8 years ago

56 points

809.

Show HN: LambdaNet – A functional neural network library written in Haskell

github.com/jbarrow

11 years ago

56 points

810.

Show HN: Layered – Neural Networks in Python 3

github.com/danijar

11 years ago

56 points