Search: github.com/ctate | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Vercel Desktop: the unofficial desktop app of Vercel

github.com/ctate

3 years ago

6 points

2.

New project: superba. Use AI to craft UI components. Open source and free

github.com/ctate

3 years ago

2 points

3.

Use ChatGPT from your menu bar

github.com/ctate

3 years ago

1 points

4.

Ctate/autocode: spec-driven code generator

github.com/ctate

8 years ago

1 points

5.

Example: Generate menu bar apps using Tauri and ZappJS

github.com/zappjs

2 years ago

1 points

6.

Ask HN: Where can I follow the changes of HN itself?

9 years ago

17 points

7.

Lisp in JavaScript

16 years ago

15 points

8.

Show HN: Color palettes generator for data visualization

aleris.github.io

4 years ago

12 points

9.

Toward a new mathematical theory of computation.

17 years ago

5 points

10.

Show HN: Insta-infra – Single command quickstart for any tool

github.com/data-catering

2 years ago

2 points

11.

Ask HN: has GitHub stopped hiring?

12 years ago

1 points

12.

Show HN: A non-programmer built a blockchain ecosystem using only AI

4 months ago

BizinikiwiBrain

1 points

13.

Show HN: Insta-infra – One click start any service

github.com/data-catering

10 months ago

1 points

14.

Show HN: Data Caterer – Data generation and validation tool

github.com/data-catering

2 years ago

1 points

15.

Category Theory ∩ Machine Learning

github.com/bgavran

3 years ago

118 points

16.

From Unemployment to Lisp: Running GPT-2 on a Teen's Deep Learning Compiler

github.com/hikettei

2 years ago

116 points

17.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

18.

Caterwaul: A JavaScript-to-JavaScript Compiler

github.com/spencertipping

5 years ago

74 points

19.

Show HN: CState – open-source Hugo powered status page

github.com/cstate

6 years ago

69 points

20.

Categories: An implementation of category theory in Coq

github.com/amintimany

10 years ago

68 points

21.

Catenary: concatenative programming for JavaScript

github.com/sgentle

11 years ago

36 points

22.

Show HN: SPath is a Rust lib for query JSONPath over any semi-structured data

github.com/cratesland

a year ago

35 points

23.

Crater – Open-Source Invoicing Solution for Individuals and Businesses

github.com/crater-invoice

4 years ago

13 points

24.

Show HN: An SQL database on top of a blockchain

github.com/pixelspark

9 years ago

11 points

25.

Sfork: A synchronous, single-threaded interface for starting processes on Linux

github.com/catern

5 years ago

10 points

26.

Show HN: Make Easy Async Rust (Mea), runtime-agnostic primitives

github.com/cratesland

a year ago

6 points

27.

Agent Commerce Kit – Protocols for AI Agent Identity and Payments

github.com/catena-labs

a year ago

4 points

28.

Catena: SQL on a blockchain

github.com/pixelspark

9 years ago

4 points

29.

IDEs on GitHub Marketplace

github.com/marketplace

7 years ago

4 points

30.

Notes on Category Theory and Haskell

github.com/jwbuurlage

9 years ago

4 points