Beast code in Giters

shellygr's starred repositories

Apache Spark - A unified analytics engine for large-scale data processing

Language:ScalaApache-2.039471 20230

Multi functional app to find duplicates, empty folders, similar images etc.

Language:RustNOASSERTION19773 124 824

Export your Signal chats to markdown files with attachments

Language:PythonNOASSERTION483 15 111

Concord byzantine fault tolerant state machine replication library

Language:C++379 41 53

Python Exploration with Z3

Language:HTMLNOASSERTION323 25 12

Very small, readable implementation of the SHA3 hash function.

Language:CMIT197 11 9

Collection of Verification Tasks (MOVED, please follow the link)

Using mutations to improve specs and test suites

Language:RustMIT164 15 14

Interprocedural Distributive Environment algorithm implementation

Language:Scala16 30

Memory-effficient immutable collection types for Kotlin

Language:KotlinMIT4 60

Solidity, the Contract-Oriented Programming Language

Language:C++GPL-3.01 10

Language:C#MIT1 20