Search: github.com/AbsInt | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

2.

Absinthe – GraphQL implementation for Elixir

github.com/absinthe-graphql

9 years ago

177 points

3.

Absinthe – The GraphQL toolkit for Elixir

github.com/absinthe-graphql

9 years ago

3 points

4.

CompCert – The verified C compiler

github.com/AbsInt

9 years ago

2 points

5.

Automatic Persistent Queries for Absinthe-GraphQL

github.com/maartenvanvliet

5 years ago

2 points

6.

Repo2txt: Web-based tool converts GitHub repo contents into a single text file

github.com/abinthomasonline

2 years ago

2 points

7.

GitHub Repo to Text Converter

github.com/abinthomasonline

2 years ago

2 points

8.

Simple Hour Glass, a command line tool for keeping track of your hours.

github.com/absentbird

14 years ago

1 points

9.

Active Record and Django-Like Filters for SQLAlchemy

github.com/absent1706

9 years ago

1 points

10.

Show HN: SQL-tString a t-string SQL builder in Python

github.com/pgjones

a year ago

85 points

11.

Ask HN: Modern Acme/Wily editor clones?

12 years ago

16 points

12.

Show HN: Searchable compression for JSON – ~99% page skip and sub-ms lookups

github.com/kodomonocch1

8 months ago

15 points

13.

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

3 months ago

9 points

14.

Show HN: wazero compiler ported to 4 new OSes

github.com/tetratelabs

2 years ago

7 points

15.

Show HN: NeoSurf – A tiny (~460k LoC) graphical browser based on NetSurf

github.com/CobaltBSD

3 years ago

3 points

16.

Ask HN: Visualizations of an Overview of Programming Languages

5 years ago

2 points

17.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

18.

Show HN: Elia – A governed cognitive architecture (Phase 0 live)

github.com/Jmc-arch

3 months ago

1 points

19.

Show HN: Ing-switch – migrate from ingress-Nginx to Traefik or Gateway API

github.com/saiyam1814

4 months ago

1 points

20.

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

4 years ago

1 points

21.

Hawkeye (cbs): Detect images in a video stream and execute automated actions

github.com/cbsinteractive

4 years ago

26 points