Search: github.com/alloy | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

github.com/jose-blockchain

3 months ago

1 points

32.

Show HN: FizzBee – Formal methods in Python

2 years ago

119 points

33.

Ask HN: How do solo founders find academic co-founders for STTR grants?

4 months ago

2 points

34.

Show HN: I got frustrated with SMILES, so I built one

github.com/sangeet01

3 months ago

1 points

35.

Show HN: PyTorch/FEniCSx pipeline for elastocaloric metamaterial optimization

4 months ago

1 points

36.

Vuze bundles I2P, I2P growing large?

11 years ago

7 points

37.

Show HN: Cloudzip – mount remote zip files (S3, Kaggle) as a local directory

2 years ago

5 points

38.

WASM to PS Compiler

github.com/no-defun-allowed

5 years ago

71 points

39.

Don't Build Your Own Lisp

gist.github.com

24 days ago

42 points

40.

Selling Lisp by the Pound

gist.github.com

2 years ago

28 points

41.

Selling Lisp by the Pound

gist.github.com

5 years ago

8 points

42.

A Critical Review of "Build Your Own Lisp"

gist.github.com

3 years ago

4 points

43.

Wasm2ps: Compile a small subset of WebAssembly to PostScript. (using wasm2wat)

github.com/no-defun-allowed

2 years ago

2 points

44.

Don't write your own Lisp

gist.github.com

5 years ago

2 points

45.

Implementing allow-lists for AI services in GNU Emacs

github.com/atgreen

2 years ago

1 points

46.

Show HN: Pippy – Pipelines for GitHub Actions

2 years ago

50 points

47.

Code copy paste caution

10 years ago

5 points

48.

Ask HN: Would you pay for a web service that lets you manage SSH sessions?

7 years ago

3 points

49.

Ask HN: Tool to assemble and archive communications from multiple platforms

3 years ago

3 points

50.

Create HTML canvas graphics without writing code

2 years ago

2 points

51.

Show HN: Pyvoy – a modern Python application server built in Envoy

github.com/curioswitch

5 months ago

2 points

52.

Show HN: ToyWithRaylib, compile and run raylib games on the browser

toywithraylib.com

a year ago

2 points

53.

Show HN: Friendly AI – Chatbot messenger for your AI assistants

3 years ago

2 points

54.

Private keys management for smart contracts deployment

4 years ago

1 points

55.

Ask HN: Best JavaScript plugin system you have seen?

4 years ago

1 points

56.

Show HN: Stacked diffs / interdependent changes (on GitHub)

5 years ago

1 points

57.

Temporary allow your friends to ssh to your Linux box using github's keys

github.com/felipe-lavratti

9 years ago

felipe-lavratti

1 points

58.

Show HN: Broswerable- open source browser automation library for agents

github.com/browserable

a year ago

6 points

59.

Show HN: MCP server for ICD-10 and SNOMED clinical coding

github.com/fcggamou

3 months ago

3 points

60.

Show HN: PostgreSQL proxy for integration testing things you don't control

github.com/luqasn

4 years ago

3 points