ilyasergey Goto Github PK
Name: Ilya Sergey
Type: User
Company: National University of Singapore
Bio: CS Prof
Twitter: ilyasergey
Location: Singapore
Blog: http://ilyasergey.net
Ilya Sergey's Projects
adaptivefuzz
Adaptive Fuzz Language
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
coq-exercises
Exercises for Coq course, based on SSReflect, Coq'Art and CPDT
csrankings
A web app for ranking computer science departments according to their research output in selective venues.
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
funind
gctransformations
Certified implementation of a parametrized framework for concurrent garbage collectors
geometry-testing
Geometry Generation and Testing Framework
ghc-xappfix
Extension of Glasgow Haskell Compiler to support recursive applicative bindings
ghc-xappfix-baselibrary
Augmented base library for GHC for ApplicativeFix support
ghc-xappfix-testsuite
Tests for ApplicativeFix GHC extension
github-wiki-notify
Convert changes to a Github wiki into email notifications
gitignore
A collection of useful .gitignore templates
gradual-ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
htt
Hoare Type Theory
imdea-papers
intellij-community
IntelliJ IDEA Community Edition
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
maian
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts
monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
mypyvy
A language for symbolic transitions system, inspired by Ivy.
mysterylanguages
Mystery Languages for Programming Languages, compiled for Racket 6.11
plt-redex-fj
A PLT Redex implementation of Featherweight Java
pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
proofgeneral
ProofGeneral, adapted for use with "checker", my prototype proof assistant
qeditas-ledgertheory
Coq development of a theory of lightweight cryptographic ledgers
rabia
Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.