Search: github.com/coq | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Project S.A.T.U.R.D.A.Y. – open-source, self hosted, J.A.R.V.I.S. (github.com/GRVYDEV)

121 points

3 years ago

2.

Ask HN: What is the state of OSS voice cloning?

12 points

2 years ago

3.

Coqui.ai TTS: A Deep Learning Toolkit for Text-to-Speech (github.com/coqui-ai)

196 points

2 years ago

4.

Coqui, a startup providing open speech tech for everyone (github.com)

174 points

5 years ago

5.

Coq to Rust Program Extraction (github.com/pirapira)

99 points

10 years ago

6.

Coqui TTS: a deep learning toolkit for Text-to-Speech (github.com/coqui-ai)

94 points

4 years ago

7.

A formalization in Coq of the Haskell pipes library (github.com/jwiegley)

73 points

11 years ago

8.

Coq searches for alternative name (github.com/coq)

63 points

5 years ago

9.

Change of Name: Coq –> The Rocq Prover (github.com/coq)

35 points

2 years ago

10.

TTS: Deep learning toolkit for Text-to-Speech, battle-tested in production (github.com/coqui-ai)

4 points

5 years ago

11.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870 (github.com/ccz181078)

3 points

2 years ago

12.

CoquiTTS: Open-source Text-to-Speech framework (github.com/coqui-ai)

3 points

5 years ago

13.

Coq 8.9.0 (github.com/coq)

3 points

7 years ago

14.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

15.

Fast nvim completion. SQLite, concurrent scheduler (github.com/ms-jpq)

5 points

5 years ago

16.

Advent of Code 2018, in Coq (github.com/Lysxia)

149 points

7 years ago

17.

Mechanized LambdaJS (brownplt.github.com)

30 points

14 years ago

18.

Mechanized LambdaJS (brownplt.github.com)

7 points

14 years ago

19.

Show HN: Local voice assistant using Ollama, transformers and Coqui TTS toolkit (github.com/mezbaul-h)

167 points

2 years ago

20.

Proving false in Coq using an implementation bug (github.com/clarus)

125 points

11 years ago

21.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

22.

Categories: An implementation of category theory in Coq (github.com/amintimany)

68 points

10 years ago

23.

A Coq development of a theory of lightweight cryptographic ledgers (github.com/billlwhite)

67 points

11 years ago

24.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

25.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

26.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago

27.

A minimalistic blockchain consensus implemented and verified in Coq (github.com/certichain)

3 points

5 years ago

28.

Formal Proof of the Four Color Theorem in Coq (github.com/math-comp)

3 points

7 years ago

29.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

30.

Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com/IBM)

103 points

a year ago