Search: github.com/a-type | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Verdant: Storage, sync and realtime for local-first web apps (github.com/a-type)

1 point

2 years ago

2.

Show HN: open source framework for building nanoservices

4 points

a year ago

3.

Show HN: Tsynamo – Type-friendly DynamoDB query builder for TypeScript (github.com/woltsu)

1 point

2 years ago

4.

Show HN: Advanced Chunking in JavaScript/TypeScript with Chonkie

10 points

a year ago

5.

Show HN: Srcbook – A TypeScript notebook for rapid prototyping (github.com/srcbookdev)

267 points

2 years ago

6.

Sparks: A typeface for creating sparklines in text without code (github.com/aftertheflood)

203 points

6 years ago

7.

Vapor: a type-safe web framework for Swift (github.com/tannernelson)

200 points

10 years ago

8.

Hack – A typeface designed for source code (github.com/source-foundry)

174 points

9 years ago

9.

Daktilo: Turn Your Keyboard into a Typewriter (github.com/orhun)

155 points

3 years ago

10.

APL compiler targeting a typed array intermediate language (github.com/melsman)

123 points

10 years ago

11.

Mirth – a type-safe concatenative purely functional programming language (github.com/mirth-lang)

119 points

7 years ago

12.

Show HN: Ezno, a TypeScript checker written in Rust, is now open source (github.com/kaleidawave)

113 points

3 years ago

13.

What I Want from a Type System (2016) (gist.github.com)

106 points

7 years ago

14.

Eqwalizer: A Type-Checker for Erlang (github.com/WhatsApp)

86 points

4 years ago

15.

Show HN: Rhine – A typed Elixir-inspired language on LLVM (github.com/artagnon)

81 points

10 years ago

16.

Ripple – A TypeScript UI framework that takes the best of React, Solid, Svelte (github.com/trueadm)

80 points

9 months ago

17.

The compiler for Teal, a typed dialect of Lua (github.com/teal-language)

77 points

5 years ago

18.

Show HN: Pickaxe – A TypeScript library for building AI agents (github.com/hatchet-dev)

70 points

a year ago

19.

Hamlet: A type-safe Haml template engine for Go (github.com/stackus)

58 points

2 years ago

20.

Sparks – A typeface for creating sparklines in text without code (github.com/aftertheflood)

55 points

a year ago

21.

MiniLang: A type-safe C successor that compiles directly to x86_64 assembly (github.com/NICUP14)

53 points

2 years ago

22.

Let's make a "type the code listings" book for kids. (github.com/napcs)

39 points

16 years ago

23.

A type-safe, intuitive Go SDK for building MCP servers with ease and confidence (github.com/ktr0731)

38 points

a year ago

24.

Sqlpp11 – A type safe SQL template library for C++ (github.com/rbock)

28 points

11 years ago

25.

bolt-ts: A TypeScript Compiler Implemented in Rust (github.com/bvanjoi)

16 points

8 months ago

26.

DocNode: A TypeScript OT library for local-first apps (github.com/docnode)

12 points

6 months ago

27.

Show HN: Selectric Mode – Make Emacs sound like a typewriter (github.com/rbanffy)

10 points

11 years ago

28.

Show HN: Scaledger, a double-entry accounting database with a typed GraphQL API (github.com/affiga)

10 points

6 years ago

29.

Show HN: ts-prune – Find unused exports in a TypeScript project (github.com/nadeesha)

8 points

7 years ago

30.

I built a type-safe .NET casting library powered by AI (github.com/Zorokee)

8 points

a year ago