Search: github.com/runejs | Heykuki News

HK

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

10 years ago

142 points

32.

NASA Ogma: generate hard-realtime C runtime monitoring applications

github.com/nasa

5 years ago

116 points

33.

Haskell Postgres Stored Procedures

github.com/ed-o-saurus

2 years ago

57 points

34.

Direct Sparse Odometry (DSO) open sourced

github.com/JakobEngel

10 years ago

48 points

35.

ChakraCore v1.2 Released

github.com/Microsoft

10 years ago

25 points

36.

Liquid: Language-Integrated Quantum Operations Simulator

github.com/msr-quarc

11 years ago

12 points

37.

Galley: Orchestrator for local Docker containers

github.com/twitter-fabric

11 years ago

10 points

38.

Faiss: A library for efficient similarity search and clustering of dense vectors

github.com/facebookresearch

9 years ago

9 points

39.

TensorFlow 1.4 released

github.com/tensorflow

9 years ago

6 points

40.

Containerd 1.0.0

github.com/containerd

9 years ago

4 points

41.

SimpleX Chat audit by Trail of Bits [pdf]

github.com/trailofbits

3 years ago

3 points

42.

CNTK 1.7 Release Notes

github.com/Microsoft

10 years ago

3 points

43.

github.com/microsoft

a year ago

3 points

44.

Haskell Lightweight Virtual Machine: GHC Running on Xen

github.com/GaloisInc

4 years ago

3 points

45.

Asynchronous Ratcheting Tree: Group Messaging with Strong Security Guarantees

github.com/facebookresearch

8 years ago

3 points

46.

SPDZ: Secure Multiparty Computation System

github.com/bristolcrypto

10 years ago

3 points

47.

Galley: Orchestrator for local Docker containers

github.com/twitter-fabric

11 years ago

3 points

48.

Fader Networks: Manipulating Images by Sliding Attributes

github.com/facebookresearch

9 years ago

2 points

49.

Brigade: Event-Based Scripting for Kubernetes

github.com/azure

9 years ago

2 points

50.

Miscreant: A misuse-resistant symmetric encryption library

github.com/miscreant

9 years ago

2 points

51.

Low-Shot Visual Recognition by Shrinking and Hallucinating Features

github.com/facebookresearch

9 years ago

2 points

52.

Git Credential Manager for Windows

github.com/Microsoft

11 years ago

2 points

53.

Clevr-Iep: Inferring and Executing Programs for Visual Reasoning

github.com/facebookresearch

9 years ago

1 points

54.

Heroku Cloud Native Buildpacks

github.com/heroku

2 years ago

1 points

55.

Containerd integration merged into Docker master

github.com/docker

10 years ago

1 points