Search: github.com/yassi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

392.

Show HN: OpenAI dev assistant GUI with local code interpreter

github.com/agentcasa

3 years ago

67 points

393.

Show HN: openai-realtime-embedded-SDK Build AI assistants on microcontrollers

github.com/openai

2 years ago

63 points

394.

RZK: Experimental proof assistant for synthetic ∞-categories

github.com/rzk-lang

3 years ago

61 points

395.

Jarvis – A Personal Assistant for Linux

github.com/sukeesh

9 years ago

60 points

396.

J-Bob – The proof assistant from “The Little Prover”

github.com/the-little-prover

11 years ago

59 points

397.

Show HN: Dexter, a Voice Controlled Assistant

github.com/iamsrp

5 years ago

57 points

398.

A library to assist writing memory-unsafe code in "pure" Python

github.com/DavidBuchanan314

2 years ago

54 points

399.

Show HN: Quack Companion – VSCode extension for OSS contribution assistance

github.com/quack-ai

3 years ago

49 points

400.

Show HN: Panza: A personal email assistant, trained and running on-device

github.com/IST-DASLab

2 years ago

49 points

401.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

402.

Stop passing naked dictionaries around: Introducing DStruct for Python

github.com/dorkitude

15 years ago

43 points

403.

Codemod – A library to assist with large-scale codebase refactoring

github.com/facebook

9 years ago

42 points

404.

Prompts for our Grok chat assistant and grok bot on X

github.com/xai-org

a year ago

39 points

405.

Show HN: Tamagotchi-like characters for AI assistants in JavaScript

github.com/Barqawiz

2 years ago

39 points

406.

Faker.js - generate massive amounts of fake data in Node.js and the browser

github.com/marak

16 years ago

37 points

407.

Snmalloc: High-performance message passing based allocator

github.com/microsoft

4 years ago

37 points

408.

Show HN: Beak.js – Custom conversational assistants for your React app

3 years ago

36 points

409.

Show HN: Shell AI – My Aggressively Minimal Open Source Assistant

github.com/ibigio

3 years ago

36 points

410.

Show HN: Apache Cloudberry – Open-source Massively Parallel Processing database

github.com/apache

2 years ago

35 points

411.

Verbalize – text editor with writing assistance for Brazilian Portuguese

2 years ago

33 points

412.

Show HN: LLM-Term – Simple Rust-based CLI assist tool

github.com/dh1011

2 years ago

32 points

413.

ContainerScript: Firefox Addon for programmatically assigning URLs to containers

github.com/icholy

2 years ago

29 points

414.

Janito – A Claude-powered CLI assistant for developers

github.com/joaompinto

a year ago

29 points

415.

Show HN: AI SDLC Scaffold, repo template for AI-assisted software development

github.com/pangon

3 months ago

27 points

416.

Strong Parameters for Rails: Mass assignment in the controller

github.com/rails

14 years ago

27 points

417.

Proposal: Rules for passing pointers between Go and C

github.com/golang

11 years ago

26 points

418.

Ask HN: Anyone want to collaborate on a local-first AI-based research assistant

2 months ago

24 points

419.

Show HN: Dave – CLI Personal assistant written in Go

github.com/zuzuleinen

10 years ago

24 points

420.

Show HN: Eddie – the retro AI-powered CLI assistant

github.com/Mirascope

2 years ago

24 points