Search: github.com/lxe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Let-go is a Clojure dialect written in Go (github.com/nooga)

5 points

24 days ago

722.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com/midspiral)

5 points

2 months ago

723.

Image Recognition with Lean 4 (github.com/brettkoonce)

5 points

2 months ago

724.

Emilia Britannia (public domain freedom mascot) (github.com/Joy-less)

5 points

2 months ago

725.

Context Constitution (github.com/letta-ai)

5 points

2 months ago

726.

No one has defined the "AI Strategist" role – so I wrote an OSS book to do it (github.com/Leading-AI-IO)

5 points

3 months ago

727.

Show HN: VacayBuddy – PTO Management Inside Slack (Open Source) (github.com/letnaturebe2)

5 points

a year ago

728.

Show HN: Convert LeetCode Solutions into Anki Flashcards (github.com/npcnixel)

5 points

a year ago

729.

Show HN: LetItGo – A Lightweight Scheduler in Go for Efficient Task Management (github.com/Sumit189)

5 points

a year ago

730.

Lean 4, Release v4.17.0 (github.com/leanprover)

5 points

a year ago

731.

Elimination Game: Multi-Agent LLM Social Reasoning, Strategy, and Deception (github.com/lechmazur)

5 points

a year ago

732.

Legolas – An Open Source Bipedal Robot (github.com/daviddoo02)

5 points

a year ago

733.

RVVM: RISC-V Virtual Machine (github.com/LekKit)

5 points

a year ago

734.

Show HN: LLM Creative Story-Writing Benchmark (github.com/lechmazur)

5 points

a year ago

735.

Show HN: Lossless compressor that can shrink llama3 to 68% (github.com/nadavrot)

5 points

2 years ago

736.

Show HN: GNU less for Win 10 and 11, stand-alone version with no dependencies (github.com/jftuga)

5 points

2 years ago

737.

Legion 24.03.0 – Control Replication (github.com/StanfordLegion)

5 points

2 years ago

738.

Lepton: An open-source library (Apache 2.0) for scaling model inference (github.com/leptonai)

5 points

3 years ago

739.

RootAsRole: A secure alternative to sudo/su using principle of least privilege (github.com/LeChatP)

5 points

3 years ago

740.

A Hands-On Introduction to Video Codec Technology and FFmpeg (github.com/leandromoreira)

5 points

3 years ago

741.

An experimental deep learning framework for Nim using array programming (github.com/can-lehmann)

5 points

3 years ago

742.

Legitify-CLI tool that detects security misconfigurations in GitHub orgs (github.com/Legit-Labs)

5 points

4 years ago

743.

Leptos – A full-stack, isomorphic Rust web framework (github.com/gbj)

5 points

4 years ago

744.

The Rust and WASM Alternative to React and Next.js (github.com/gbj)

5 points

4 years ago

745.

Lem: Common Lisp editor/IDE with high expansibility (github.com/lem-project)

5 points

4 years ago

746.

Nzyme – open-source next-generation WiFi defense system (github.com/lennartkoopmann)

5 points

5 years ago

747.

Missionary (github.com/leonoel)

5 points

5 years ago

748.

Arcan – [Display Server, Multimedia Framework, Game Engine] (github.com/letoram)

5 points

5 years ago

749.

Becoming 1% better at Data Science everyday (github.com/amitness)

5 points

6 years ago

750.

RadixSpline: A Single-Pass Learned Index (github.com/learnedsystems)

5 points

6 years ago