Search: github.com/formml | Heykuki News

HK

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

2 years ago

1 points

32.

Formulosity – Surveys as Code

github.com/plutov

2 years ago

1 points

33.

Next.js: Ever wrestle with multi-step forms?

github.com/XamHans

2 years ago

1 points

34.

github.com/moonad

7 years ago

1 points

35.

Why Formality-Core?

github.com/moonad

7 years ago

1 points

36.

Formality-Core: an optimal, parallel compile target for functional languages

github.com/moonad

7 years ago

1 points

37.

Show HN: Data Formulator – AI-powered data visualization from Microsoft Research

github.com/microsoft

2 years ago

212 points

38.

Show HN: Data Formulator – interactive AI agents for data analysis (Microsoft)

data-formulator.ai

7 months ago

38 points

39.

Show HN: Data Formulator 0.5 – Vibe with your data (Microsoft Research)

data-formulator.ai

8 months ago

4 points

40.

RISC-V formal spec public review

github.com/riscv

7 years ago

116 points

41.

A Fast Excel Formula Parser and Evaluator

github.com/LesterLyu

4 years ago

106 points

42.

Formal Conjectures

github.com/google-deepmind

a year ago

4 points

43.

Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean

github.com/google-deepmind

a year ago

4 points

44.

Chip Design – New Open Source LEC(Logic Equivalence Checking)

github.com/keplertech

4 months ago

2 points

45.

A collection of formalized statements of conjectures in Lean

github.com/google-deepmind

9 months ago

2 points

46.

Parse and evaluate MS Excel formula in JavaScript

github.com/LesterLyu

4 years ago

2 points

47.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

github.com/DebarghaG

7 months ago

1 points

48.

TurnFormal: Theorem Prover Written in Rust

github.com/Turnersoft

a year ago

1 points

49.

Google-DeepMind/formal-conjectures repository: formalized conjectures

github.com/google-deepmind

a year ago

1 points

50.

Data Formulator: AI-powered visualization tool from microsoft research

github.com/microsoft

2 years ago

1 points

51.

Show HN: Vimari Cask for Homebrew

github.com/vladdoster

4 years ago

1 points

52.

Show HN: Dug, A CLI global DNS propagation checker, now on homebrew

github.com/unfrl

2 years ago

2 points

53.

Investment strategy with upto 40% return in Python

github.com/rbhatia46

6 years ago

3 points

54.

GitHub releases a formal spec for GitHub Flavored Markdown

github.com/blog

9 years ago

2 points

55.

Awesome-Rust-Formalized-Reasoning

github.com/newca12

5 years ago

2 points

56.

A formula for motivation + how to tweak the variables

chrismdp.github.com

15 years ago

2 points

57.

Tested investment strategy for amazing returns(upto 40% CAGR) in Python

github.com/rbhatia46

6 years ago

1 points

58.

Show HN: FizzBee – Formal methods in Python

2 years ago

119 points

59.

Aura-State: Formally Verified LLM State Machine Compiler

4 months ago

23 points

60.

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

3 months ago

3 points