Search: github.com/finnito | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Finite State Entropy, made easy

github.com/dbkaplun

8 years ago

1 points

92.

A Mealy Machine Style Finite State Machine Library in GO

github.com/evnix

8 years ago

1 points

93.

Xstate: Simple, stateless JavaScript finite-state machines

github.com/davidkpiano

9 years ago

1 points

94.

Show HN: LLMs can generate valid JSON 100% of the time

github.com/normal-computing

3 years ago

854 points

95.

Show HN: CXXStateTree – A modern C++ library for hierarchical state machines

github.com/ZigRazor

a year ago

48 points

96.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

97.

Show HN: Reverb ASR+Diarization, the Best Open Source ASR for Long-Form Audio

2 years ago

12 points

98.

Show HN: C++ library for embedded and IoT projects (ESP32)

github.com/open-control-systems

a year ago

8 points

99.

So I am creating a chat server

5 years ago

7 points

100.

Show HN: Trading Exchange Engine/Simulator

github.com/QMResearch

4 years ago

5 points

101.

Show HN: AgentML – SCXML for Deterministic AI Agents (MIT)

github.com/agentflare-ai

8 months ago

5 points

102.

Show HN: I created a (hopefully fast) C++ lib to find words in ASCII sequences

7 years ago

4 points

103.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

a year ago

4 points

104.

Show HN: The Oct Programming Language for scientific programming

github.com/yuechen-li-dev

6 days ago

4 points

105.

Photosensitive Game of Life (demo inside)

github.com/illerucis

13 years ago

3 points

106.

Show HN: Monolith e-commerce platform for serverless

4 months ago

3 points

107.

Show HN: The equation for smoke vortices also describes 100M° fusion plasma

github.com/Lulzx

6 months ago

3 points

108.

Show HN: WasmX: metamorphic WASM blockchain engine [first public release]

github.com/ark-us

10 months ago

loredanacirstea

3 points

109.

Show HN: TSCE – Think Before You Speak (Two-Step Contextual Enrichment for LLMs)

github.com/AutomationOptimization

a year ago

3 points

110.

New Open Source from Non-Traditional Builder

3 months ago

2 points

111.

Show HN: EchoMode – A stability layer that prevents persona drift in LLMs

github.com/Seanhong0818

8 months ago

2 points

112.

Show HN: Helices Create a New Model of Deterministic Computation [pdf]

lambdalord.github.io

a year ago

2 points

113.

A (WIP) "correct" implementation of regular expressions in Python using FSAs

github.com/cyphar

12 years ago

2 points

114.

Show HN: A modern boarding pass encoder/decoder/scanner (web and library)

github.com/jqssun

3 months ago

2 points

115.

Show HN: A user daemon to provide an age-bracketing API

github.com/danudey

4 months ago

2 points

116.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

117.

Show HN: Graph DB-backed game, like Dobble/Spot it to play with Projective Plane

github.com/jpadams

5 months ago

2 points

118.

Show HN: Finyap – fzf-assisted writing practice for my foreign language learning

github.com/hiAndrewQuinn

a year ago

2 points

119.

Show HN: Yawb.io – Yet Another Website Builder, but this one is different

3 years ago

2 points

120.

Show HN: 3D Ising Model Simulation – interactive web-based Monte Carlo simulator

ising-model.vercel.app

a year ago

1 points