Search: github.com/coq | Heykuki News

HK

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

3 years ago

121 points

2.

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

2 years ago

12 points

3.

Coqui.ai TTS: A Deep Learning Toolkit for Text-to-Speech

github.com/coqui-ai

2 years ago

196 points

4.

Coqui, a startup providing open speech tech for everyone

5 years ago

174 points

5.

Coq to Rust Program Extraction

github.com/pirapira

10 years ago

99 points

6.

Coqui TTS: a deep learning toolkit for Text-to-Speech

github.com/coqui-ai

4 years ago

94 points

7.

A formalization in Coq of the Haskell pipes library

github.com/jwiegley

11 years ago

73 points

8.

Coq searches for alternative name

5 years ago

63 points

9.

Change of Name: Coq –> The Rocq Prover

2 years ago

35 points

10.

TTS: Deep learning toolkit for Text-to-Speech, battle-tested in production

github.com/coqui-ai

5 years ago

4 points

11.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870

github.com/ccz181078

2 years ago

3 points

12.

CoquiTTS: Open-source Text-to-Speech framework

github.com/coqui-ai

5 years ago

3 points

13.

7 years ago

3 points

14.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

15.

Fast nvim completion. SQLite, concurrent scheduler

github.com/ms-jpq

5 years ago

5 points

16.

Advent of Code 2018, in Coq

github.com/Lysxia

7 years ago

149 points

17.

Mechanized LambdaJS

brownplt.github.com

14 years ago

30 points

18.

Mechanized LambdaJS

brownplt.github.com

14 years ago

7 points

19.

Show HN: Local voice assistant using Ollama, transformers and Coqui TTS toolkit

github.com/mezbaul-h

2 years ago

167 points

20.

Proving false in Coq using an implementation bug

github.com/clarus

11 years ago

125 points

21.

A formalization of category theory in Coq

github.com/jwiegley

9 years ago

109 points

22.

Categories: An implementation of category theory in Coq

github.com/amintimany

10 years ago

68 points

23.

A Coq development of a theory of lightweight cryptographic ledgers

github.com/billlwhite

11 years ago

67 points

24.

Show HN: FLP Impossibility Theorem Proof in Coq

github.com/ConsensusResearch

11 years ago

38 points

25.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

26.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl

github.com/probabilistic-minds-consortium

a year ago

3 points

27.

A minimalistic blockchain consensus implemented and verified in Coq

github.com/certichain

5 years ago

3 points

28.

Formal Proof of the Four Color Theorem in Coq

github.com/math-comp

7 years ago

3 points

29.

Show HN: Formalizing Principia Mathematica using Lean

github.com/ndrwnaguib

a year ago

188 points

30.

Show HN: Confidential computing for high-assurance RISC-V embedded systems

a year ago

103 points