Search: github.com/lra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

How to Reproduce This Book with LaTeX (github.com/BenjaminGor)

103 points

6 months ago

692.

Show HN: TinyOS – A minimalist RTOS for Cortex-M written in C (github.com/cmc-labo)

102 points

2 months ago

693.

Lapce Editor, Release v0.2.0 (github.com/lapce)

102 points

4 years ago

694.

Show HN: ArkScript, a small and fast language for scripting video games (github.com/ArkScript-lang)

101 points

6 years ago

695.

Language.js - A fast PEG parser written in JavaScript (github.com/tolmasky)

101 points

15 years ago

696.

Koka: A Functional Language with Effects (github.com/koka-lang)

101 points

5 years ago

697.

LLM Policy for Rust Compiler (github.com/rust-lang)

100 points

24 days ago

698.

C# functional language extensions and Erlang-like concurrency system (github.com/louthy)

99 points

9 years ago

699.

Latex-mimosis: A minimal and modern template for your thesis (github.com/Submanifold)

99 points

8 years ago

700.

Twinkle Notes: Cross-platform encrypted notes app (github.com/twinkle-labs)

98 points

6 years ago

701.

Stanford Alpaca: An Instruction-following LLaMA model (github.com/tatsu-lab)

98 points

3 years ago

702.

Fortran Standard Library (github.com/fortran-lang)

97 points

6 years ago

703.

Rust async/await hits stable tomorrow (github.com/rust-lang)

97 points

7 years ago

704.

AIConfig – source control format for gen AI prompts, models and settings (github.com/lastmile-ai)

97 points

3 years ago

705.

Show HN: IRedis: CLI for Redis with AutoCompletion and Syntax Highlighting (github.com/laixintao)

97 points

6 years ago

706.

Latex to HTML5 Conversion for Scientific Papers (github.com/smarr)

96 points

11 years ago

707.

Recreating RP2040 PIO Interface in an FPGA (github.com/lawrie)

95 points

3 years ago

708.

Show HN: Librarian - Semantic Bookmark Search Using Transformers (github.com/oto-labs)

95 points

2 years ago

709.

Sem – Semantic version control. Entity-level diffs on top of Git (github.com/ataraxy-labs)

95 points

3 months ago

710.

The Mercury logic programming system (github.com/Mercury-Language)

95 points

21 days ago

711.

Lemon – An embeddable, lightweight programming language in ANSI C (github.com/lemon-lang)

94 points

9 years ago

712.

Lalboard – A 3D-printed keyboard inspired by the DataHand (github.com/JesusFreke)

94 points

5 years ago

713.

OCaml bindings for PyTorch (github.com/LaurentMazare)

94 points

7 years ago

714.

OpenHaystack: Tracking Personal 'AirTags' via Apple's Find My Network (github.com/seemoo-lab)

94 points

5 years ago

715.

Debian CD Image for AArch64 Windows Laptops (github.com/aarch64-laptops)

93 points

5 years ago

716.

Pen: A programming language for scalable development (github.com/pen-lang)

92 points

5 years ago

717.

Armor – Simple HTTP server, supports HTTP/2 and auto TLS (github.com/labstack)

91 points

10 years ago

718.

Labstack/echo: High performance, minimalist Go web framework (github.com/labstack)

91 points

4 years ago

719.

Zfec – Efficient, portable erasure coding tool (github.com/tahoe-lafs)

91 points

10 years ago

720.

Browser extension that lets you follow accounts on foreign Mastodon instances (github.com/Lartsch)

91 points

3 years ago