Search: github.com/imperavi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Labfile, a declarative file format for orchestrating experiments

github.com/FlywheelHQ

2 years ago

3 points

62.

Show HN: I modeled the puzzle game Railbound with Constraint Programming

github.com/Th1nhNg0

8 months ago

2 points

63.

Show HN: ClawShield – Open-source security proxy for AI agents (Go, eBPF)

github.com/SleuthCo

4 months ago

2 points

64.

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

11 years ago

2 points

65.

Show HN: Valmi: Outcome-Billing and Payments for AI Agents (Open Source SDK)

github.com/valmi-io

6 months ago

2 points

66.

Show HN: ToolKami CLI – Simple Agents Made Easy (Extending Shopify Tobi's Try)

github.com/aperoc

8 months ago

2 points

67.

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

11 years ago

2 points

68.

Show HN: Go-TUI – a framework for building declarative terminal UIs in Go

4 months ago

2 points

69.

Show HN: New Python GUI Framework (better than others?)

github.com/mebaadwaheed

a year ago

2 points

70.

Show HN: Minbpe-hs – byte-level byte pair encoding (BPE) in Haskell

github.com/BobMcDear

2 years ago

2 points

71.

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

8 years ago

2 points

72.

Show HN: AIP – An open protocol for verifying what AI agents are allowed to do

github.com/theaniketgiri

4 months ago

1 points

73.

Show HN: Catalyst – A Declarative Build System for C/C++

github.com/S-Spektrum-M

8 months ago

1 points

74.

Show HN: Replacing NotNull and Preconditions with fluent Java assertions

5 months ago

1 points

75.

Tamgu (탐구) a FIL Programming Language

7 years ago

1 points

76.

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

11 years ago

1 points

77.

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

4 months ago

1 points

78.

Show HN: The Bridge Language – Declarative dataflow for controlled egress

github.com/stackables

4 months ago

1 points

79.

Show HN: Raps – Rust CLI for Autodesk Platform Services (0ms Deps, MCP Support)

github.com/dmytro-yemelianov

5 months ago

1 points

80.

Show HN: DR Web Engine – JSON-based web scraping that doesn't break on change

github.com/starlitlog

6 months ago

1 points

81.

Show HN: MapLibre GL JavaScript – Enabling large number of moveable sprites

github.com/kekyo

7 months ago

1 points

82.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

83.

Improving Your Python Productivity

ozkatz.github.com

14 years ago

173 points

84.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

85.

Improvisation: Automating Music Composition and Melody Generation

github.com/ArmenAg

12 years ago

38 points

86.

Improving Whisper Transcriptions with GPT-4o

github.com/orcaman

2 years ago

6 points

87.

Imperials – open-source game similar to Catan

github.com/hemildesai

a year ago

5 points

88.

Imperial College: Code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

3 points

89.

Imperial College – Covid19model

github.com/ImperialCollegeLondon

6 years ago

3 points

90.

GeoFirestore – Realtime location queries with Firestore

github.com/imperiumlabs

8 years ago

3 points