Search: github.com/typecode | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Existential problems of GHC (github.com/ghc)

3 points

11 years ago

182.

Show HN: Compile-time typechecked Akka actors (github.com/knutwalker)

41 points

11 years ago

183.

Show HN: Typechecked – boilerplate-free state transformations with redux-modules (github.com/mboperator)

11 points

10 years ago

184.

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects (github.com/Qqwy)

5 points

5 years ago

185.

An additive strong typedef library for C++14/17/20 (github.com/rollbear)

4 points

4 years ago

186.

Gradient: A Gradual Typechecker for Elixir (github.com/esl)

3 points

3 years ago

187.

Fable.Remoting – Automated, stateless, typechecked JSON APIs in F# (github.com/Zaid-Ajaj)

2 points

galacticdessert

6 years ago

188.

Sorbet Typechecking Support for RSpec (github.com/FooBarWidget)

2 points

a year ago

189.

Show HN: Tensorguard – Pretty runtime typechecking for PyTorch/NumPy tensors (github.com/lengstrom)

2 points

3 years ago

190.

Python utility to provide interoperability between JSON Typedef and Protobuf (github.com/IBM)

2 points

prashantgupta24

4 years ago

191.

Python utility to provide interoperability between JSON Typedef and Protobuf (github.com/IBM)

2 points

prashantgupta24

4 years ago

192.

Sorbet-Rails: Tools to Make the Sorbet Typechecker Work with Ruby on Rails (github.com/chanzuckerberg)

2 points

7 years ago

193.

Typechecking JavaScript Files with Typescript (github.com/Microsoft)

2 points

9 years ago

194.

Such akka actors, very typechecked, wow (github.com/knutwalker)

2 points

11 years ago

195.

On the use of "pointerness" in typedef

1 point

14 years ago

196.

Show HN: I made TypeCzech, a detachable runtime type checking JavaScript library (github.com/steenhansen)

1 point

4 years ago

197.

Show HN: Test your solution to TopCoder problems locally (github.com/seri)

1 point

15 years ago

198.

Typecheck and Modularize AWS CloudFormation with Dhall (github.com/jcouyang)

1 point

5 years ago

199.

Swc-node: Faster ts-node without typecheck (useful for tests) (github.com/Brooooooklyn)

1 point

6 years ago

200.

“Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” (github.com/JDemler)

1 point

7 years ago

201.

Flow: static typechecker for JavaScript (github.com/facebook)

1 point

9 years ago

202.

Ask HN: A retrofitted C dialect?

55 points

a year ago

203.

Show HN: Rift – Open-source AI-native language server for your personal AI SWE (github.com/morph-labs)

17 points

3 years ago

204.

Show HN: BlockNote – a “Notion-style” block-based text editor (github.com/YousefED)

15 points

4 years ago

205.

Linter for Your Docs

8 points

9 months ago

206.

Ask HN: Is Nvidia making an open-source Linux driver?

8 points

4 years ago

207.

Show HN: Recreated Claude Code's behavior in 280 lines of Python (github.com/ljw1004)

5 points

9 months ago

208.

Show HN: Kilroy – Knowledge base for teams using Claude Code (github.com/kilroy-sh)

5 points

2 months ago

209.

Ask HN: Would you find optional Python static type checking useful?

2 points

15 years ago

210.

Show HN: Sift, a small CLI that groups noisy test failures into root causes (github.com/bilalimamoglu)

2 points

3 months ago