Search: github.com/AbsInt | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

2.

Absinthe – GraphQL implementation for Elixir (github.com/absinthe-graphql)

177 points

9 years ago

3.

Absinthe – The GraphQL toolkit for Elixir (github.com/absinthe-graphql)

3 points

9 years ago

4.

CompCert – The verified C compiler (github.com/AbsInt)

2 points

9 years ago

5.

Automatic Persistent Queries for Absinthe-GraphQL (github.com/maartenvanvliet)

2 points

5 years ago

6.

Repo2txt: Web-based tool converts GitHub repo contents into a single text file (github.com/abinthomasonline)

2 points

2 years ago

7.

GitHub Repo to Text Converter (github.com/abinthomasonline)

2 points

2 years ago

8.

Simple Hour Glass, a command line tool for keeping track of your hours. (github.com/absentbird)

1 point

14 years ago

9.

Active Record and Django-Like Filters for SQLAlchemy (github.com/absent1706)

1 point

9 years ago

10.

Show HN: SQL-tString a t-string SQL builder in Python (github.com/pgjones)

85 points

a year ago

11.

Ask HN: Modern Acme/Wily editor clones?

16 points

12 years ago

12.

Show HN: Searchable compression for JSON – ~99% page skip and sub-ms lookups (github.com/kodomonocch1)

15 points

8 months ago

13.

Show HN: WordBattle – Daily word game where AI agents compete against humans

9 points

2 months ago

14.

Show HN: wazero compiler ported to 4 new OSes (github.com/tetratelabs)

7 points

2 years ago

15.

Show HN: NeoSurf – A tiny (~460k LoC) graphical browser based on NetSurf (github.com/CobaltBSD)

3 points

3 years ago

16.

Ask HN: Visualizations of an Overview of Programming Languages

2 points

5 years ago

17.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

18.

Show HN: Elia – A governed cognitive architecture (Phase 0 live) (github.com/Jmc-arch)

1 point

3 months ago

19.

Show HN: Ing-switch – migrate from ingress-Nginx to Traefik or Gateway API (github.com/saiyam1814)

1 point

3 months ago

20.

Heartex – Remote (EU, North America, South America)

1 point

4 years ago

21.

Hawkeye (cbs): Detect images in a video stream and execute automated actions (github.com/cbsinteractive)

26 points

4 years ago