vrdabomb5717

Varun Ravishankar's starred repositories

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonNOASSERTION8106300

pam_reattach

Reattach to the user's GUI session on macOS during authentication (for Touch ID support in tmux)

Language:CMIT61500

tyrade

A pure functional language for type-level programming in Rust

Language:Rust31700

wttr.in

:partly_sunny: The right way to check the weather

Language:PythonApache-2.02420100

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

93900

fp-core.rs

A library for functional programming in Rust

Language:RustMIT132500

fantasy-land

Specification for interoperability of common algebraic structures in JavaScript

Language:JavaScriptMIT1005300

modernizer-maven-plugin

Detect uses of legacy Java APIs

Language:JavaApache-2.036700

caffeine

A high performance caching library for Java

Language:JavaApache-2.01557000

j2119

A general-purpose validator generator that uses RFC2119-style assertions as input.

Language:RubyApache-2.01100

statelint

A Ruby gem that provides a command-line validator for Amazon States Language JSON files.

Language:RubyApache-2.032900

resilience4j

Resilience4j is a fault tolerance library designed for Java8 and functional programming

Language:JavaApache-2.0960400

proposals

Tracking ECMAScript Proposals

1805900

react-starter-kit

The web's most popular Jamstack front-end template (boilerplate) for building web applications with React

Language:TypeScriptMIT2262400

awesome-kotlin

A curated list of awesome Kotlin frameworks, libraries, documents and other resources

262400

awesome-kotlin

A curated list of awesome Kotlin related stuff Inspired by awesome-java.

Language:KotlinApache-2.01094200

digital_video_introduction

A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

Language:Jupyter NotebookBSD-3-Clause1534100

EQGRP

Decrypted content of eqgrp-auction-file.tar.xz

Language:Perl408600

lectures

Oxford Deep NLP 2017 course

1562100

lux

The Lux Programming Language

Language:Emacs LispMPL-2.0166900

big-list-of-naughty-strings

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Language:PythonMIT4607100

refscript

Refinement Types for Scripting Languages

Language:HaskellBSD-3-Clause6400

type-systems

Implementations of various type systems in OCaml.

Language:OCamlUnlicense152100

WhileyCompiler

The Whiley Compiler (WyC)

Language:JavaApache-2.021600

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION319100

BigInt

Arbitrary-precision arithmetic in pure Swift

Language:SwiftMIT75300

SwiftCheck

QuickCheck for Swift

Language:SwiftMIT141700

Venice

Coroutines, structured concurrency and CSP for Swift on macOS and Linux.

Language:SwiftMIT149700

Focus

Optics for Swift

Language:SwiftMIT20400

Swiftz

Functional programming in Swift

Language:SwiftBSD-3-Clause333100