Search: github.com/imperva | Heykuki News

HK

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

4 years ago

2 points

2.

Show HN: We launched a new web browser

4 years ago

203 points

3.

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

github.com/ImperialCollegeLondon

a year ago

127 points

4.

Show HN: We created a new protocol and wallet that supports it for Bitcoin

a year ago

7 points

5.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

6.

SaBRe: Modular load-time selective binary rewriter

github.com/srg-imperial

7 years ago

20 points

7.

Imperative Haskell

github.com/mmirman

14 years ago

10 points

8.

Imperials – open-source game similar to Catan

github.com/hemildesai

a year ago

5 points

9.

GrayC: Greybox Fuzzing of Compilers and Analysers for C

github.com/srg-imperial

3 years ago

4 points

10.

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

github.com/ImperialCollegeLondon

6 years ago

3 points

11.

Code that changed UK gov strategy away from herd immunity

github.com/ImperialCollegeLondon

6 years ago

3 points

12.

Imperial College – Covid19model

github.com/ImperialCollegeLondon

6 years ago

3 points

13.

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

github.com/imperial-qore

4 years ago

2 points

14.

github.com/ImperialCollegeLondon

6 years ago

2 points

15.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

16.

Imperative Haskell

github.com/mmirman

14 years ago

2 points

17.

Imperative – 1.5kb JavaScript Framework using Generators

3 years ago

2 points

18.

Superkube – a SCSS framework (MIT license)

github.com/imperavi

5 years ago

2 points

19.

Imperial College code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

2 points

20.

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

github.com/ImperialCollegeLondon

6 years ago

1 points

21.

SaBRe: Load-time selective binary rewriting

github.com/srg-imperial

7 years ago

1 points

22.

Switching from imperative to functional programming with games in Elm

11 years ago

67 points

23.

Switching from imperative to functional programming with games in Elm

github.com/Dobiasd

12 years ago

9 points

24.

Janet – a Lisp-like functional, imperative programming language

github.com/janet-lang

5 years ago

224 points

25.

Circle – A C++ compiler with compile-time imperative metaprogramming

github.com/seanbaxter

6 years ago

214 points

26.

Experimental imperative-style music sequence generator engine

github.com/renoise

a year ago

68 points

27.

Tamgu, a functional, imperative, logical programming language

github.com/naver

7 years ago

63 points

28.

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

github.com/mrc-ide

6 years ago

57 points

29.

Imperial College London have released their Covid-19 epidemic simulation

github.com/mrc-ide

6 years ago

57 points

30.

Show HN: A JavaScript UI library for imperative JSX

2 years ago

41 points