Search: github.com/lra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Beyond inductive datatypes: exploring Self types

github.com/kind-lang

5 years ago

68 points

572.

TornadoVM: A practical and efficient heterogeneous programming framework

github.com/beehive-lab

4 years ago

67 points

573.

Pallene: A statically compiled companion language for Lua

github.com/pallene-lang

2 years ago

66 points

574.

Updating STM32 Over-The-Air using ESP32

github.com/laukik-hase

6 years ago

66 points

575.

Show HN: 1Poshword, cross-platform PowerShell client for 1Password

github.com/latkin

10 years ago

66 points

576.

Show HN: LazyCode – C++14 composable, lazily evaluated map, filter, fold

github.com/SaadAttieh

7 years ago

66 points

577.

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars

github.com/phel-lang

2 months ago

65 points

578.

Hackett, a Haskell-Like Lisp in Racket

github.com/lexi-lambda

6 years ago

65 points

579.

MLHelper: Algorithms and utils for Machine Learning in JavaScript

github.com/laoqiren

9 years ago

65 points

580.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

581.

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

github.com/DanMcInerney

13 years ago

64 points

582.

Programming language Dino and its implementation

github.com/dino-lang

a year ago

64 points

583.

Open-Source Washing

github.com/ergomake

3 years ago

63 points

584.

LangGraph Engineer

github.com/hwchase17

2 years ago

63 points

585.

Transducers for Python

github.com/cognitect-labs

11 years ago

63 points

586.

Maud: Compile-time HTML templates for Rust

github.com/lambda-fairy

6 years ago

63 points

587.

Futures Is Stable on Rust 1.36

github.com/rust-lang

7 years ago

63 points

588.

1995 DOS game opensourced, needs hacker love

github.com/LaPingvino

15 years ago

63 points

589.

A Ruby wrapper for LaTeXML

github.com/Authorea

10 years ago

63 points

590.

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

github.com/lallassu

11 years ago

62 points

591.

Jekyll Lambda – Minimal Theme for Jekyll

github.com/lauris

11 years ago

61 points

592.

RZK: Experimental proof assistant for synthetic ∞-categories

github.com/rzk-lang

3 years ago

61 points

593.

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

github.com/laurent22

12 years ago

61 points

594.

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

github.com/tongson

5 years ago

61 points

595.

Replace the “among us” reference with “here”

github.com/rust-lang

5 years ago

60 points

596.

github.com/jrpie

5 months ago

58 points

597.

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

github.com/stream-labs

5 years ago

58 points

598.

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

github.com/laszlokorte

10 years ago

58 points

599.

Blogging with Org-mode for lazy people

github.com/novoid

4 years ago

58 points

600.

See what is unencrypted in your LastPass vault

github.com/cfbao

4 years ago

58 points