xennygrimmato Goto Github PK

rahft

RAHFT: A tool for verifying Horn clauses using abstract interpretation and finite tree automata

randoop

Automatic test generation for Java

raspberrypi-experiments

Repository for our raspberry pi experiments.

react-native-express

Interactive tutorials for React Native beginners

reason

A meta language toolchain to build systems rapidly

reason-react-example

reason-react-tictactoe

Tic-tac-toe implemented using Reason and React

reason-tools

Adds Reason to the browser

rebel

An algorithm that generalizes the paradigm of self-play reinforcement learning and search to imperfect-information games.

refactoringminer

reinforcement-learning

Notes for the Reinforcement Learning course by David Silver along with implementation of various algorithms.

requests

Python HTTP Requests for Humans™

riftsketch

An HTML5 live-coding environment based on WebVR

roslyn

The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

schedule

Python job scheduling for humans.

scikit-cuda

Python interface to GPU-powered libraries

scitldr

segnet-tutorial

Files for a tutorial to train SegNet for road scenes using the CamVid dataset

semantic

Parsing, analyzing, and comparing source code across many languages

sendgrid-python

SendGrid Python Library

sequoia

OCaml type-safe query builder with syntax tree extension

seviz

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

sieveofatkin

Implementation of the Sieve of Atkin using C++

skypeopensource2

slap

Sublime-like terminal-based text editor

slm-code-generation

TensorFlow code for the neural network presented in the paper: "Structural Language Models of Code" (ICML'2020)

sotawhat

Returns latest research results by crawling arxiv papers and summarizing abstracts. Helps you stay afloat with so many new papers everyday.

sourced-ce

source{d} Community Edition (CE)

sourcegraph

Fast, global, semantic code search & cross-reference engine for developers.

spbtrueskill

An improved rating system for team competitions.