Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Formulosity: Self-hosted app for building and deploying the surveys using code (github.com/plutov)

1 point

2 years ago

32.

Formulosity – Surveys as Code (github.com/plutov)

1 point

2 years ago

33.

Next.js: Ever wrestle with multi-step forms? (github.com/XamHans)

1 point

2 years ago

34.

Formality (github.com/moonad)

1 point

7 years ago

35.

Why Formality-Core? (github.com/moonad)

1 point

7 years ago

36.

Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad)

1 point

7 years ago

37.

Show HN: Data Formulator – AI-powered data visualization from Microsoft Research (github.com/microsoft)

212 points

2 years ago

38.

Show HN: Data Formulator – interactive AI agents for data analysis (Microsoft) (data-formulator.ai)

38 points

7 months ago

39.

Show HN: Data Formulator 0.5 – Vibe with your data (Microsoft Research) (data-formulator.ai)

4 points

7 months ago

40.

RISC-V formal spec public review (github.com/riscv)

116 points

7 years ago

41.

A Fast Excel Formula Parser and Evaluator (github.com/LesterLyu)

106 points

4 years ago

42.

Formal Conjectures (github.com/google-deepmind)

4 points

a year ago

43.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind)

4 points

a year ago

44.

Chip Design – New Open Source LEC(Logic Equivalence Checking) (github.com/keplertech)

2 points

4 months ago

45.

A collection of formalized statements of conjectures in Lean (github.com/google-deepmind)

2 points

9 months ago

46.

Parse and evaluate MS Excel formula in JavaScript (github.com/LesterLyu)

2 points

4 years ago

47.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com/DebarghaG)

1 point

6 months ago

48.

TurnFormal: Theorem Prover Written in Rust (github.com/Turnersoft)

1 point

a year ago

49.

Google-DeepMind/formal-conjectures repository: formalized conjectures (github.com/google-deepmind)

1 point

a year ago

50.

Data Formulator: AI-powered visualization tool from microsoft research (github.com/microsoft)

1 point

2 years ago

51.

Show HN: Vimari Cask for Homebrew (github.com/vladdoster)

1 point

4 years ago

52.

Show HN: Dug, A CLI global DNS propagation checker, now on homebrew (github.com/unfrl)

2 points

2 years ago

53.

Investment strategy with upto 40% return in Python (github.com/rbhatia46)

3 points

6 years ago

54.

GitHub releases a formal spec for GitHub Flavored Markdown (github.com/blog)

2 points

9 years ago

55.

Awesome-Rust-Formalized-Reasoning (github.com/newca12)

2 points

5 years ago

56.

A formula for motivation + how to tweak the variables (chrismdp.github.com)

2 points

15 years ago

57.

Tested investment strategy for amazing returns(upto 40% CAGR) in Python (github.com/rbhatia46)

1 point

6 years ago

58.

Show HN: FizzBee – Formal methods in Python (fizzbee.io)

119 points

2 years ago

59.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

60.

Show HN: Salvobase – MongoDB-compatible DB in Go maintained by AI agents

3 points

3 months ago