Pinned Repositories
idris-webassembly
WIP: Idris model of the WebAssembly-specification.
Modelling-A-Purely-Functional-Subset-Of-ECMAScript-2015
This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of ECMAScript 2015 aka JavaScript.
MVar
MVar data type for predictable low-level concurrency.
TicTacToe
The popular TicTacToe game
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
haskell-backend
The symbolic execution engine powering the K Framework
k
K Framework Tools 7.0
RaoulSchaffranek's Repositories
RaoulSchaffranek/Modelling-A-Purely-Functional-Subset-Of-ECMAScript-2015
This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of ECMAScript 2015 aka JavaScript.
RaoulSchaffranek/MVar
MVar data type for predictable low-level concurrency.
RaoulSchaffranek/TicTacToe
The popular TicTacToe game
RaoulSchaffranek/idris-webassembly
WIP: Idris model of the WebAssembly-specification.
RaoulSchaffranek/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
RaoulSchaffranek/carl
RaoulSchaffranek/development-machine-for-smtrat-and-carl
A vagrant machine to develop smtrat and carl.
RaoulSchaffranek/eth-sc-benchmarks
Symbolic Execution Benchmarks for Ethereum Smart Contracts
RaoulSchaffranek/eth2-validation-services-contract
RaoulSchaffranek/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
RaoulSchaffranek/Introduction-To-Functional-Programming
RaoulSchaffranek/kore
The symbolic execution engine powering the K Framework
RaoulSchaffranek/Monographs-in-Computer-Science
These are my solutions to the exercices from the textbook Monographs in Computer Science.
RaoulSchaffranek/phpbench
PHP Benchmarking framework
RaoulSchaffranek/pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler
RaoulSchaffranek/raoulschaffranek.github.io
Raoul Schaffranek - Compiler and Verification Engineer
RaoulSchaffranek/simbolik-examples
RaoulSchaffranek/smtrat
RaoulSchaffranek/sourcify
Decentralized Solidity contract source code verification service
RaoulSchaffranek/sourcify-docs
Documentation for sourcify
RaoulSchaffranek/static-land-recursion-schemes
Javascript recursion schemes compatible with flow-static-land
RaoulSchaffranek/Syntax-and-Semantics-of-Prgramming-Languages
These are my solutions to the exercices from the textbook "Syntax and Semantics of Programming Languages"
RaoulSchaffranek/v3-periphery
🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3
RaoulSchaffranek/z3.rs
Rust bindings for the Z3 solver.