Giters
Nicolas Voirol (samarion)

samarion

Geek Repo

14

followers

1

following

5

stars

Github PK Tool:Github PK Tool

Organizations
epfl-lara

Nicolas Voirol's repositories

scalagl

Cross-platform bindings for OpenGL ES

Language:ScalaStargazers:7Issues:3Issues:0

cafebabe

Tiny Scala library to generate class files for the JVM

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

leon

The Leon system for verification, synthesis, and more.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sbt-abide

Language:ScalaStargazers:0Issues:3Issues:0

scala-abide

Library for quick scala code checking and validation.

Language:ScalaStargazers:0Issues:2Issues:0

scala-abide-rules

Language:ScalaStargazers:0Issues:3Issues:1

scala-smtlib

SMT-LIB library for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

ScalaZ3

Binders and more to the Z3 SMT solver for Scala

Language:ScalaStargazers:0Issues:2Issues:0

sling

Mirror of Apache Sling (incubating)

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0