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.

MVar

MVar data type for predictable low-level concurrency.

TicTacToe

The popular TicTacToe game

idris-webassembly

WIP: Idris model of the WebAssembly-specification.

awesome-buggy-erc20-tokens

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

carl

development-machine-for-smtrat-and-carl

A vagrant machine to develop smtrat and carl.

eth2-validation-services-contract

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.

Introduction-To-Functional-Programming

kore

The symbolic execution engine powering the K Framework

Monographs-in-Computer-Science

These are my solutions to the exercices from the textbook Monographs in Computer Science.

phpbench

PHP Benchmarking framework

raoulschaffranek.github.io

Raoul Schaffranek - Compiler and Verification Engineer

smtrat

static-land-recursion-schemes

Javascript recursion schemes compatible with flow-static-land

Syntax-and-Semantics-of-Prgramming-Languages

These are my solutions to the exercices from the textbook "Syntax and Semantics of Programming Languages"

v3-periphery

🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3