Giters
Rani Ettinger (ranger71)

ranger71

Geek Repo

6

followers

1

following

6

stars

Company:Ben-Gurion University of the Negev

Location:Beer Sheva, Israel

Home Page:https://www.cs.bgu.ac.il/~ranger/

Github PK Tool:Github PK Tool

Rani Ettinger's starred repositories

fastjson

FASTJSON 2.0.x has been released, faster and more secure, recommend you upgrade.

Language:JavaLicense:Apache-2.0Stargazers:25687Issues:1296Issues:3607

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

License:CC0-1.0Stargazers:606Issues:48Issues:17

spark-by-example

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Language:AdaStargazers:150Issues:14Issues:2

acsl-by-example

Public snapshots of "ACSL by Example"

Language:TeXLicense:MITStargazers:97Issues:20Issues:10

Laddon

A refactoring tool for the language Dafny

Language:C#Stargazers:4Issues:3Issues:0

ProgramSliding

A provably-correct framework for provably-correct code-motion refactoring

Stargazers:1Issues:0Issues:0