Pinned Repositories
angular
The modern web developer’s platform
atom-language-coq
Coq language support for the Atom editor
buildtools
A bazel BUILD file formatter and editor
clcc
Command line interface to the NVIDIA OpenCL compiler
compute
A C++ GPU Computing Library for OpenCL
varomodt's Repositories
varomodt/angular
The modern web developer’s platform
varomodt/atom-language-coq
Coq language support for the Atom editor
varomodt/buildtools
A bazel BUILD file formatter and editor
varomodt/compute
A C++ GPU Computing Library for OpenCL
varomodt/conscrypt
Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.
varomodt/coq-scaffold
A scaffold for new coq projects
varomodt/cryptonite
lowlevel set of cryptographic primitives for haskell
varomodt/cue
Validate and define text-based and dynamic configuration
varomodt/delft
a Deep Learning Framework for Text
varomodt/FStar
Verification system for effectful programs
varomodt/GamesClass2014
Course materials for ES.S20, The Mathematics of Toys and Games, taught at MIT/ESG in Spring 2014
varomodt/grobid
A machine learning software for extracting information from scholarly documents
varomodt/haddock
Haskell Documentation Tool
varomodt/haskell
Haskell bindings for TensorFlow
varomodt/IHaskell
A Haskell kernel for IPython.
varomodt/kotlinx.collections.immutable
Immutable persistent collections for Kotlin
varomodt/kotlinx.coroutines
Library support for Kotlin coroutines
varomodt/kotlinx.serialization
Kotlin multiplatform / multi-format serialization
varomodt/mlton
The MLton repository
varomodt/NetHack
Official NetHack Git Repository
varomodt/parsons
A python package of connectors for the progressive community.
varomodt/pixel-dungeon
Traditional roguelike game with pixel-art graphics and simple interface
varomodt/probability
Probabilistic reasoning and statistical analysis in TensorFlow
varomodt/protobuf
Protocol Buffers - Google's data interchange format
varomodt/protobuf-javascript
varomodt/scibert
A BERT model for scientific text.
varomodt/supercollider
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
varomodt/text
Making text a first-class citizen in TensorFlow.
varomodt/type-fest
A collection of essential TypeScript types
varomodt/xrnx
The official Renoise Lua Scripting repository