Projects in Awesome Lists by ilyasergey
A curated list of projects in awesome lists by ilyasergey .
https://github.com/ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
coq dependent-types hoare-logic mathcomp ssreflect tutorial
Last synced: 02 May 2025
https://github.com/ilyasergey/reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
abstract-garbage-collection control-flow-analysis k-cfa pushdown-automaton scheme
Last synced: 05 Dec 2024
https://github.com/ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
abstract-interpretation haskell k-cfa monads static-analysis
Last synced: 05 Dec 2024
https://github.com/ilyasergey/plt-redex-fj
A PLT Redex implementation of Featherweight Java
featherweight-java operational-semantics plt-redex
Last synced: 27 Mar 2025
https://github.com/ilyasergey/scilla-demo
Scilla Examples and Exercises
scilla smart-contracts tutorial zilliqa
Last synced: 05 Dec 2024
https://github.com/ilyasergey/ysc2229
Introductory Data Structures and Algorithms
Last synced: 01 Feb 2025
https://github.com/ilyasergey/semantic-slicer
Slicing programs to decompose them into independent procedures
Last synced: 27 Mar 2025
https://github.com/ilyasergey/ghc-xappfix
Extension of Glasgow Haskell Compiler to support recursive applicative bindings
Last synced: 27 Mar 2025
https://github.com/ilyasergey/scilla-benchmarks
Benchmarking suite for testing the performance of Scilla against EVM
benchmarks evm oopsla19 scilla smart-contracts zilliqa
Last synced: 27 Mar 2025
https://github.com/ilyasergey/typechecker-transformations
An implementation of the mechanical correspondence between algorithms for type checking
abstract-machine cesk ml reduction secd type-checking
Last synced: 27 Mar 2025
https://github.com/ilyasergey/coq-exercises
Exercises for Coq course, based on SSReflect, Coq'Art and CPDT
Last synced: 27 Mar 2025
https://github.com/ilyasergey/gradual-ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
gradual-typing jastadd java ownership-types type-system
Last synced: 27 Mar 2025
https://github.com/ilyasergey/ghc-xappfix-testsuite
Tests for ApplicativeFix GHC extension
Last synced: 27 Mar 2025
https://github.com/ilyasergey/ghc-xappfix-baselibrary
Augmented base library for GHC for ApplicativeFix support
Last synced: 27 Mar 2025
https://github.com/ilyasergey/geometry-testing
Geometry Generation and Testing Framework
art-gallery-problem computational-geometry polygon quickcheck random-polygons scala testing
Last synced: 27 Mar 2025
https://github.com/ilyasergey/ysc4231
Parallel, Concurrent and Distributed Programming
Last synced: 05 Mar 2025