varomodt Goto Github PK

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

conscrypt

Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.

coq-scaffold

A scaffold for new coq projects

cryptonite

lowlevel set of cryptographic primitives for haskell

cue

Validate and define text-based and dynamic configuration

delft

a Deep Learning Framework for Text

fstar

Verification system for effectful programs

gamesclass2014

Course materials for ES.S20, The Mathematics of Toys and Games, taught at MIT/ESG in Spring 2014

grobid

A machine learning software for extracting information from scholarly documents

haddock

Haskell Documentation Tool

haskell

Haskell bindings for TensorFlow

ihaskell

A Haskell kernel for IPython.

kotlinx.collections.immutable

Immutable persistent collections for Kotlin

kotlinx.coroutines

Library support for Kotlin coroutines

kotlinx.serialization

Kotlin multiplatform / multi-format serialization

mlton

The MLton repository

nethack

Official NetHack Git Repository

parsons

A python package of connectors for the progressive community.

pixel-dungeon

Traditional roguelike game with pixel-art graphics and simple interface

probability

Probabilistic reasoning and statistical analysis in TensorFlow

protobuf

Protocol Buffers - Google's data interchange format

protobuf-javascript

scibert

A BERT model for scientific text.

supercollider

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

text

Making text a first-class citizen in TensorFlow.

type-fest

A collection of essential TypeScript types