Pinned Repositories
corda
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.
msys32-docker-backup
sku-clustering
wine-fracting
wine-fracting
gitness
Gitness is an Open Source developer platform with Source Control management, Continuous Integration and Continuous Delivery.
MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
TileNet
A two-dimensional generalization for Recurrent Neural Network
wine
fracting's Repositories
fracting/sku-clustering
fracting/ConsHoTT
Constructive Interpretations of HoTT
fracting/cpp_dependency_graph_minimal
fracting/cubical
fracting/dash
Dash - Reinventing Cryptocurrency
fracting/docs
fracting/docs.konghq.com
:monkey: Source code for docs.konghq.com website
fracting/dsss18
Lecture material for DeepSpec Summer School 2018
fracting/elasticsearch
Open Source, Distributed, RESTful Search Engine
fracting/lda_ex
fracting/Lean-game-maker
This project converts structured Lean code into an interactive browser game.
fracting/libsession-util
Session utilities library
fracting/lightfm
A Python implementation of LightFM, a hybrid recommendation algorithm.
fracting/mathlib
Lean mathematical components library
fracting/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
fracting/ml-recsys-tools
fracting/MSYS2-packages
Package scripts for MSYS2.
fracting/natural_number_game
Building the natural numbers in Lean.
fracting/NLP-progress
Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.
fracting/oxen-docs-gitbook
Mirror of the Gitbook docs
fracting/pandoc-templates
fracting/practical-fm
A gently curated list of companies using verification formal methods in industry
fracting/pretrained-models.pytorch
Pretrained ConvNets for pytorch: NASNet, ResNeXt, ResNet, InceptionV4, InceptionResnetV2, Xception, DPN, etc.
fracting/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
fracting/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
fracting/react-mentions
@mention people in a textarea
fracting/session-android
A private messenger for Android.
fracting/session-desktop
Session Desktop - Onion routing based messenger
fracting/session-ios
A private messenger for iOS.
fracting/TileNet
A two-dimensional generalization for Recurrent Neural Network