Search: github.com/runejs | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Tensorflow Deepmath: Experiments towards neural network theorem proving (github.com/tensorflow)

142 points

10 years ago

32.

NASA Ogma: generate hard-realtime C runtime monitoring applications (github.com/nasa)

116 points

4 years ago

33.

Haskell Postgres Stored Procedures (github.com/ed-o-saurus)

57 points

2 years ago

34.

Direct Sparse Odometry (DSO) open sourced (github.com/JakobEngel)

48 points

10 years ago

35.

ChakraCore v1.2 Released (github.com/Microsoft)

25 points

10 years ago

36.

Liquid: Language-Integrated Quantum Operations Simulator (github.com/msr-quarc)

12 points

11 years ago

37.

Galley: Orchestrator for local Docker containers (github.com/twitter-fabric)

10 points

11 years ago

38.

Faiss: A library for efficient similarity search and clustering of dense vectors (github.com/facebookresearch)

9 points

9 years ago

39.

TensorFlow 1.4 released (github.com/tensorflow)

6 points

9 years ago

40.

Containerd 1.0.0 (github.com/containerd)

4 points

8 years ago

41.

SimpleX Chat audit by Trail of Bits [pdf] (github.com/trailofbits)

3 points

3 years ago

42.

CNTK 1.7 Release Notes (github.com/Microsoft)

3 points

10 years ago

43.

NLWeb (github.com/microsoft)

3 points

a year ago

44.

Haskell Lightweight Virtual Machine: GHC Running on Xen (github.com/GaloisInc)

3 points

4 years ago

45.

Asynchronous Ratcheting Tree: Group Messaging with Strong Security Guarantees (github.com/facebookresearch)

3 points

8 years ago

46.

SPDZ: Secure Multiparty Computation System (github.com/bristolcrypto)

3 points

10 years ago

47.

Galley: Orchestrator for local Docker containers (github.com/twitter-fabric)

3 points

11 years ago

48.

Fader Networks: Manipulating Images by Sliding Attributes (github.com/facebookresearch)

2 points

8 years ago

49.

Brigade: Event-Based Scripting for Kubernetes (github.com/azure)

2 points

9 years ago

50.

Miscreant: A misuse-resistant symmetric encryption library (github.com/miscreant)

2 points

9 years ago

51.

Low-Shot Visual Recognition by Shrinking and Hallucinating Features (github.com/facebookresearch)

2 points

9 years ago

52.

Git Credential Manager for Windows (github.com/Microsoft)

2 points

11 years ago

53.

Clevr-Iep: Inferring and Executing Programs for Visual Reasoning (github.com/facebookresearch)

1 point

9 years ago

54.

Heroku Cloud Native Buildpacks (github.com/heroku)

1 point

2 years ago

55.

Containerd integration merged into Docker master (github.com/docker)

1 point

10 years ago