Search: github.com/scheme | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: Anders CCHM/HTS Theorem Prover (github.com/groupoid)

6 points

4 years ago

362.

Ask HN: Why doesn't HN have dark mode yet?

5 points

a year ago

363.

Ask HN: Is there any programming language that doesn't have WTFs?

5 points

a year ago

364.

Show HN: Medicated Emacs, Work-Ready Vanilla Emacs (github.com/RolandMarchand)

5 points

8 months ago

365.

Show HN: Nono – Kernel-enforced sandboxing for AI agents (nono.sh)

4 points

4 months ago

366.

Ask HN: Any startup looking for an intern ?

4 points

17 years ago

367.

Show HN: OtherFunc – Serverless functions in Brainfuck, Forth, BASIC, and more (otherfunc.com)

4 points

4 months ago

368.

Show HN: Apple II(e) emulator in Rust for native and web (github.com/chrismoos)

4 points

4 months ago

369.

Show HN: Equations Explained Colorfully (KaTeX and Markdown) (p.migdal.pl)

4 points

6 months ago

370.

Show HN: Classic stylesheets for web applications 2.0 (github.com/nielssp)

4 points

2 years ago

371.

Show HN: A Bel compiler to Emacs Lisp bytecode (github.com/Restif1975)

4 points

3 years ago

372.

Show HN: Klipse (pluggable client side evaluator) just hit 500 stars on GitHub

4 points

10 years ago

373.

Show HN: Nao1215/sqluv – simple terminal UI for RDBMS and local CSV/TSV/LTSV (github.com/nao1215)

3 points

a year ago

374.

Sleek Chrome Dev Tools Skin

3 points

13 years ago

375.

A WIP arbitrary precision arithmetic library (alternative to GMP)

3 points

2 months ago

376.

Ask HN: How to test or proove logic programming?

3 points

10 years ago

377.

Show HN: Yacc/Lex editor/tester online (mingodad.github.io)

3 points

3 years ago

378.

Show HN: Multiplayer Word Scramble in Browser, Using Common Lisp (jaredkrinke.itch.io)

3 points

3 years ago

379.

AIJack: Security and Privacy Risk Simulator for Machine Learning

3 points

3 years ago

380.

Ramaze needs YOU

3 points

15 years ago

381.

Lark - A Cocoa live-coding language created during MHacks 2013 (mhacks.challengepost.com)

3 points

13 years ago

382.

Show HN: Connparse, a tool to parse DSNs, URLs, file paths, and cloud storage (github.com/clidey)

3 points

18 days ago

383.

Show HN: Interactive knowledge graph for the AAuth (Agent Auth) protocol (mcp-shark.github.io)

3 points

a month ago

384.

Show HN: Remote LUKS disk decryption over mTLS (github.com/luishfonseca)

3 points

2 months ago

385.

Show HN: Cambridge AS Level Chemistry Lab Simulator (github.com/nsriram)

3 points

3 months ago

386.

Show HN: AI agents that communicate via ultrasonic frequencies (96% cheaper) (github.com/Nil4s)

3 points

4 months ago

387.

Show HN: Rhyme CTRL – Phoneme-Based Rhyme Detection with Whisper AI (github.com/MunamWasi)

3 points

6 months ago

388.

Show HN: Oh-my-logo – Generate colorful ASCII-gradient logos with one command (github.com/shinshin86)

3 points

a year ago

389.

Show HN: A toy MCP for AI agents to code, run, and see output of GPU code safely (github.com/mehmetoguzderin)

3 points

mehmetoguzderin

a year ago

390.

Show HN: SICP-VSCode (github.com/myleshenderson)

3 points

2 years ago