Discover @ilyasergey Open Source projects

Ilya Sergey (@ilyasergey)

ilyasergey

Stars
237
Global Rank 105,537 (Top 4 %)
Followers 206
Following 6
Registered over 14 years ago
Most used languages

Haskell
28.6 %

Coq 21.4 %

Scala
21.4 %

Racket
7.1 %

Shell
7.1 %

Standard ML 7.1 %

Python
7.1 %
Location 🇸🇬 Singapore
Country Total Rank 666
Country Ranking

Racket
1

Standard ML 1

Coq 2

Scala
9

Haskell
16

Shell
201

Python
2,542

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

plt-redex-fj

A PLT Redex implementation of Featherweight Java

scilla-demo

Scilla Examples and Exercises

semantic-slicer

Slicing programs to decompose them into independent procedures

GHC-XAppFix

Extension of Glasgow Haskell Compiler to support recursive applicative bindings

scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM

typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

coq-exercises

Exercises for Coq course, based on SSReflect, Coq'Art and CPDT

GHC-XAppFix-BaseLibrary

Augmented base library for GHC for ApplicativeFix support

GHC-XAppFix-TestSuite

Tests for ApplicativeFix GHC extension

geometry-testing

Geometry Generation and Testing Framework

Gradual-Ownership

Experimental implementation of Gradual Ownership Types for Java 1.4

funind