Search: github.com/imperavi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: I modeled the puzzle game Railbound with Constraint Programming (github.com/Th1nhNg0)

2 points

8 months ago

62.

Show HN: ClawShield – Open-source security proxy for AI agents (Go, eBPF) (github.com/SleuthCo)

2 points

3 months ago

63.

DOM-less Polymer-like approach to building complex JavaScript apps

2 points

11 years ago

64.

Show HN: Valmi: Outcome-Billing and Payments for AI Agents (Open Source SDK) (github.com/valmi-io)

2 points

6 months ago

65.

Show HN: ToolKami CLI – Simple Agents Made Easy (Extending Shopify Tobi's Try) (github.com/aperoc)

2 points

8 months ago

66.

Iterative Functional Reactive Programming with the Nu Game Engine: An Exp Report

2 points

11 years ago

67.

Show HN: Go-TUI – a framework for building declarative terminal UIs in Go (go-tui.dev)

2 points

3 months ago

68.

Show HN: New Python GUI Framework (better than others?) (github.com/mebaadwaheed)

2 points

a year ago

69.

Show HN: Minbpe-hs – byte-level byte pair encoding (BPE) in Haskell (github.com/BobMcDear)

2 points

2 years ago

70.

Ask HN: Functional Devs, how would you solve this more efficiently?(JS+Ramda)

2 points

8 years ago

71.

Show HN: AIP – An open protocol for verifying what AI agents are allowed to do (github.com/theaniketgiri)

1 point

4 months ago

72.

Show HN: Catalyst – A Declarative Build System for C/C++ (github.com/S-Spektrum-M)

1 point

7 months ago

73.

Show HN: Replacing NotNull and Preconditions with fluent Java assertions

1 point

4 months ago

74.

Tamgu (탐구) a FIL Programming Language

1 point

7 years ago

75.

Feedback about ApeyEye – An Object-Resource Mapping Node.js REST Framework

1 point

11 years ago

76.

Show HN: ODL – Organization as Code. I wrote specs, AI wrote 100% of the code

1 point

3 months ago

77.

Show HN: The Bridge Language – Declarative dataflow for controlled egress (github.com/stackables)

1 point

3 months ago

78.

Show HN: Raps – Rust CLI for Autodesk Platform Services (0ms Deps, MCP Support) (github.com/dmytro-yemelianov)

1 point

4 months ago

79.

Show HN: DR Web Engine – JSON-based web scraping that doesn't break on change (github.com/starlitlog)

1 point

5 months ago

80.

Show HN: MapLibre GL JavaScript – Enabling large number of moveable sprites (github.com/kekyo)

1 point

6 months ago

81.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

82.

Improving Your Python Productivity (ozkatz.github.com)

173 points

14 years ago

83.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

84.

Improvisation: Automating Music Composition and Melody Generation (github.com/ArmenAg)

38 points

12 years ago

85.

SaBRe: Modular load-time selective binary rewriter (github.com/srg-imperial)

20 points

7 years ago

86.

Improving Whisper Transcriptions with GPT-4o (github.com/orcaman)

6 points

2 years ago

87.

Imperials – open-source game similar to Catan (github.com/hemildesai)

5 points

a year ago

88.

GrayC: Greybox Fuzzing of Compilers and Analysers for C (github.com/srg-imperial)

4 points

3 years ago

89.

Imperial College: Code for modelling estimated deaths and cases for COVID19 (github.com/ImperialCollegeLondon)

3 points

6 years ago

90.

Code that changed UK gov strategy away from herd immunity (github.com/ImperialCollegeLondon)

3 points

6 years ago