ericpony/Scala-Lang-Resources

Stars
2
Language
Scala
Created over 10 years ago
Updated over 10 years ago

ericpony/Scala-Lang-Resources

ericpony

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

z3py-tutorial

comic-manager

java-lib-hxzon-git

spark-graphx-algorithms

polynomial-loop-invariant-synthesis

Loop invariant synthesis for annotated probabilistic loops

dafny-for-pregel

Dafny proofs for some Spark Pregel algorithms

safety-prover

Inductive invariant synthesis via learning

scalajs-examples

chrome-toolkit-extension

find-duplicate-files

chrome-code-outline-extension

An extension that provides code outline for source codes in GitHub

chrome-smooth-gestures-extension

js-slide-template

zero-log.maven

Automatically exported from code.google.com/p/zero-log.maven

chrome-downloads-router-extension

highlight.js

A syntax highlighter that supports simple variable tracking

chrome-tab-manager

leon-playground

scala-examples

Cryptography

Programs and test data for problem sets

libref

zero-log

leon-intellij-plugin

shell

A collection of useful/interesting scripts

latex-input

Enter Unicode characters using LaTeX notation

google-code-prettify

chrome-dictionary-extension

FLOLAC-2014

online-research-resources