Search: github.com/imperva | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Stepping – New open source framework for Data intensive projects (github.com/imperva)

2 points

4 years ago

2.

Show HN: We launched a new web browser

203 points

4 years ago

3.

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

127 points

10 months ago

4.

Show HN: We created a new protocol and wallet that supports it for Bitcoin (akron.io)

7 points

a year ago

5.

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

54 points

5 years ago

6.

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

20 points

7 years ago

7.

Imperative Haskell (github.com/mmirman)

10 points

14 years ago

8.

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

5 points

a year ago

9.

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

4 points

3 years ago

10.

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

3 points

6 years ago

11.

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

3 points

6 years ago

12.

Imperial College – Covid19model (github.com/ImperialCollegeLondon)

3 points

6 years ago

13.

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

2 points

4 years ago

14.

Covid19model (github.com/ImperialCollegeLondon)

2 points

6 years ago

15.

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

2 points

9 months ago

16.

Imperative Haskell (github.com/mmirman)

2 points

14 years ago

17.

Imperative – 1.5kb JavaScript Framework using Generators (github.com/jhp)

2 points

3 years ago

18.

Superkube – a SCSS framework (MIT license) (github.com/imperavi)

2 points

5 years ago

19.

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

2 points

6 years ago

20.

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

1 point

6 years ago

21.

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

1 point

7 years ago

22.

Switching from imperative to functional programming with games in Elm (github.com)

67 points

11 years ago

23.

Switching from imperative to functional programming with games in Elm (github.com/Dobiasd)

9 points

12 years ago

24.

Janet – a Lisp-like functional, imperative programming language (github.com/janet-lang)

224 points

5 years ago

25.

Circle – A C++ compiler with compile-time imperative metaprogramming (github.com/seanbaxter)

214 points

6 years ago

26.

Experimental imperative-style music sequence generator engine (github.com/renoise)

68 points

a year ago

27.

Tamgu, a functional, imperative, logical programming language (github.com/naver)

63 points

7 years ago

28.

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

57 points

6 years ago

29.

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

57 points

6 years ago

30.

Show HN: A JavaScript UI library for imperative JSX (npmjs.com)

41 points

2 years ago