Highlights
- Pro
-
-
userfaultfd-rs Public
Forked from bytecodealliance/userfaultfd-rsRust bindings for the Linux userfaultfd functionality
Rust Apache License 2.0 UpdatedSep 11, 2022 -
prusti-dev Public
Forked from viperproject/prusti-devA static verifier for Rust, based on the Viper verification infrastructure.
Rust Other UpdatedFeb 6, 2021 -
-
flatbuffers Public
Forked from google/flatbuffersMemory Efficient Serialization Library
-
serde Public
Forked from serde-rs/serdeSerialization framework for Rust
Rust Apache License 2.0 UpdatedJun 16, 2020 -
rust-playground Public
Forked from rust-lang/rust-playgroundThe Rust Playground
TypeScript Apache License 2.0 UpdatedJan 22, 2020 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJul 9, 2019 -
heroku-buildpack-hugo-old Public
Forked from roperzh/heroku-buildpack-hugoHeroku buildpack for Hugo, the static site generator - https://github.com/spf13/hugo
Shell UpdatedMay 22, 2019 -
rust_flatbuffers_example Public
Rust FlatBuffers example. Companion code to the blog post.
Rust UpdatedMay 21, 2019 -
raft-rs Public
Forked from tikv/raft-rsRaft distributed consensus algorithm implemented in Rust.
Rust Apache License 2.0 UpdatedMar 25, 2019 -
timely-dataflow Public
Forked from TimelyDataflow/timely-dataflowA modular implementation of timely dataflow in Rust
Rust MIT License UpdatedMar 11, 2019 -
differential-dataflow Public
Forked from TimelyDataflow/differential-dataflowAn implementation of differential dataflow using timely dataflow on Rust.
Rust MIT License UpdatedMar 11, 2019 -
-
-
curriculum Public
Forked from Techtonica/curriculumThe curriculum of Techtonica, a free tech training and job placement program for low-income women and genderqueer adults.
JavaScript Creative Commons Attribution Share Alike 4.0 International UpdatedJan 7, 2018 -
plainsight Public
Plainsight: a textual steganography tool to defeat censorship.
-
edward Public
Forked from blei-lab/edwardA library for probabilistic modeling, inference, and criticism. Deep generative models, variational inference. Runs on TensorFlow.
Jupyter Notebook Other UpdatedJun 24, 2017 -
influxdb Public
Forked from influxdata/influxdbScalable datastore for metrics, events, and real-time analytics
Go MIT License UpdatedMay 3, 2017 -
keras Public
Forked from keras-team/kerasDeep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on TensorFlow or Theano.
Python Other UpdatedApr 16, 2017 -
-
sHDP Public
Forked from Ardavans/sHDPNonparametric Topic Modeling with Word Vectors
Python MIT License UpdatedJan 9, 2017 -
tensorflow Public
Forked from tensorflow/tensorflowComputation using data flow graphs for scalable machine learning
Python Apache License 2.0 UpdatedDec 7, 2016 -
go-bitstream Public
Forked from dgryski/go-bitstreamdbitstream: read and write bits from io.Reader and io.Writer
Go MIT License UpdatedJul 1, 2016 -
encoding Public
Forked from jwilder/encodingLibrary for working with compressed arrays of integers
Go MIT License UpdatedJun 30, 2016 -
future Public
Forked from sentientmonkey/futuregolang implementation of futures/promises
Go MIT License UpdatedApr 6, 2016 -
-
-
homebrew Public
Forked from Homebrew/legacy-homebrew🍺 The missing package manager for OS X.
Ruby Other UpdatedOct 29, 2015 -
dragnet Public
Forked from dragnet-org/dragnetJust the facts -- web page content extraction
Python UpdatedOct 27, 2015