Search: github.com/imvetri | Heykuki News

HK

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

6 years ago

17 points

2.

Show HN: A concept for a front-end component building tool – appreciate feedback

github.com/imvetri

7 years ago

2 points

3.

Show HN: introducing UI-editor, a design to product tool

github.com/imvetri

a year ago

2 points

4.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

5.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

6.

Icarus Verilog Simulator

github.com/steveicarus

10 years ago

34 points

7.

SaBRe: Modular load-time selective binary rewriter

github.com/srg-imperial

7 years ago

20 points

8.

Trail of Bits releases iVerify - iOS anti-malware tool

github.com/trailofbits

13 years ago

9 points

9.

Imperials – open-source game similar to Catan

github.com/hemildesai

a year ago

5 points

10.

GrayC: Greybox Fuzzing of Compilers and Analysers for C

github.com/srg-imperial

3 years ago

4 points

11.

Imperial College: Code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

3 points

12.

Code that changed UK gov strategy away from herd immunity

github.com/ImperialCollegeLondon

6 years ago

3 points

13.

Imperial College – Covid19model

github.com/ImperialCollegeLondon

6 years ago

3 points

14.

GeoFirestore – Realtime location queries with Firestore

github.com/imperiumlabs

8 years ago

3 points

15.

Advanced user's authorizations (ACL) library for Node.js

github.com/terrajs

9 years ago

3 points

16.

TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate TS Data

github.com/imperial-qore

4 years ago

2 points

17.

github.com/ImperialCollegeLondon

6 years ago

2 points

18.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

19.

Imperial College code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

2 points

20.

Improved and adopted C version of ImperiumTerranum2 from Oxygenic/virtualworlds

github.com/fook42

4 years ago

1 points

21.

Where can we access the C code used to create the original report?

github.com/ImperialCollegeLondon

6 years ago

1 points

22.

SaBRe: Load-time selective binary rewriting

github.com/srg-imperial

7 years ago

1 points

23.

WhisperSpeech – An open source text-to-speech system built by inverting Whisper

github.com/collabora

2 years ago

464 points

24.

GitHub issue calling for retraction of Imperial College study for codebase flaws

github.com/mrc-ide

6 years ago

57 points

25.

Imperial College London have released their Covid-19 epidemic simulation

github.com/mrc-ide

6 years ago

57 points

26.

Show HN: Inverting Agent Model (App as Clients, Chat as Server and Reflection)

github.com/RAIL-Suite

5 months ago

24 points

27.

Show HN: PCI-e device which plays Imperial March on POST

github.com/TheMozg

8 years ago

9 points

28.

Imperial College Covid model code released

github.com/mrc-ide

6 years ago

6 points

29.

IcGAN, invertible conditional GAN

github.com/Guim3

10 years ago

5 points

30.

Code for Covid-19 modelling by the Imperial College/Neil Ferguson (main part)

github.com/mrc-ide

6 years ago

4 points