gsps

Pinned Repositories

lexi
Language:Scala0 6 01
stainless
Verification framework and tool for higher-order Scala programs
Language:Scala349 19 69750
StainlessFit
Stainless directly built on System FR, with standalone front-end
Language:Scala5 9 257
bh14-vis
Language:JavaScript00
chef-torquebox-dev-box
torquebox-dev-box
Language:Ruby0 1 00
delayed_job
Database backed asynchronous priority queue -- Extracted from Shopify
Language:Ruby0 1 00
dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala51
l3-llvm-backend
An experimental LLVM backend for L3
Language:Rust3 2 00
sav-adtsolver-standalone
Language:Scala0 2 00

gsps's Repositories

gsps/dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala51
gsps/l3-llvm-backend
An experimental LLVM backend for L3
Language:Rust3 2 00
gsps/bh14-vis
Language:JavaScript00
gsps/chef-torquebox-dev-box
torquebox-dev-box
Language:Ruby0 1 00
gsps/delayed_job
Database backed asynchronous priority queue -- Extracted from Shopify
Language:Ruby0 1 00
gsps/sav-adtsolver-standalone
Language:Scala0 2 00
gsps/grape-entity
Entities - a simple Facade to use with your models and API - extracted from Grape.
Language:Ruby
gsps/grape-swagger
Add swagger compliant documentation to your grape API
Language:Ruby
gsps/kardinal
Language:Scala2 0
gsps/librustc_hair
Language:Rust2 0
gsps/mygithubpage
gsps/refined
Simple refinement types for Scala
Language:Scala
gsps/sav-paperi-presentation
Language:TeX
gsps/stainless
Verification framework for higher-order functional programs
Language:Scala
gsps/StainlessFit
Stainless directly built on System FR, with standalone front-end
gsps/tisslet