Search: github.com/imvetri | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: UI-Editor, a Component Builder (github.com/imvetri)

17 points

6 years ago

2.

Show HN: A concept for a front-end component building tool – appreciate feedback (github.com/imvetri)

2 points

7 years ago

3.

Show HN: introducing UI-editor, a design to product tool (github.com/imvetri)

2 points

a year ago

4.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

5.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

6.

Icarus Verilog Simulator (github.com/steveicarus)

34 points

10 years ago

7.

SaBRe: Modular load-time selective binary rewriter (github.com/srg-imperial)

20 points

7 years ago

8.

Trail of Bits releases iVerify - iOS anti-malware tool (github.com/trailofbits)

9 points

13 years ago

9.

Imperials – open-source game similar to Catan (github.com/hemildesai)

5 points

a year ago

10.

GrayC: Greybox Fuzzing of Compilers and Analysers for C (github.com/srg-imperial)

4 points

3 years ago

11.

Imperial College: Code for modelling estimated deaths and cases for COVID19 (github.com/ImperialCollegeLondon)

3 points

6 years ago

12.

Code that changed UK gov strategy away from herd immunity (github.com/ImperialCollegeLondon)

3 points

6 years ago

13.

Imperial College – Covid19model (github.com/ImperialCollegeLondon)

3 points

6 years ago

14.

GeoFirestore – Realtime location queries with Firestore (github.com/imperiumlabs)

3 points

8 years ago

15.

Advanced user's authorizations (ACL) library for Node.js (github.com/terrajs)

3 points

9 years ago

16.

TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate TS Data (github.com/imperial-qore)

2 points

4 years ago

17.

Covid19model (github.com/ImperialCollegeLondon)

2 points

6 years ago

18.

A Lean Formalisation of Fermat's Last Theorem (github.com/ImperialCollegeLondon)

2 points

9 months ago

19.

Imperial College code for modelling estimated deaths and cases for COVID19 (github.com/ImperialCollegeLondon)

2 points

6 years ago

20.

Improved and adopted C version of ImperiumTerranum2 from Oxygenic/virtualworlds (github.com/fook42)

1 point

4 years ago

21.

Where can we access the C code used to create the original report? (github.com/ImperialCollegeLondon)

1 point

6 years ago

22.

SaBRe: Load-time selective binary rewriting (github.com/srg-imperial)

1 point

7 years ago

23.

WhisperSpeech – An open source text-to-speech system built by inverting Whisper (github.com/collabora)

464 points

2 years ago

24.

GitHub issue calling for retraction of Imperial College study for codebase flaws (github.com/mrc-ide)

57 points

6 years ago

25.

Imperial College London have released their Covid-19 epidemic simulation (github.com/mrc-ide)

57 points

6 years ago

26.

Show HN: Inverting Agent Model (App as Clients, Chat as Server and Reflection) (github.com/RAIL-Suite)

24 points

4 months ago

27.

Show HN: PCI-e device which plays Imperial March on POST (github.com/TheMozg)

9 points

8 years ago

28.

Imperial College Covid model code released (github.com/mrc-ide)

6 points

6 years ago

29.

IcGAN, invertible conditional GAN (github.com/Guim3)

5 points

10 years ago

30.

Code for Covid-19 modelling by the Imperial College/Neil Ferguson (main part) (github.com/mrc-ide)

4 points

6 years ago