Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
-
Comprehensive collection of programming styles using a simple computational task, term frequency
-
Framework for testing concurrent data structures
-
Kotlin mathematics extensions library
-
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
-
-
Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.
-
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Kotlin sample code for Bartosz Milewski's CT for Programmers
-
DeDRM tools for ebooks