Pinned Repositories
aesophia
Stand alone compiler for the Sophia smart contract language
erlscripten
Erlang to PureScript transpiler. Run Erlang in the browser!
VAE-CF
Variational Autoencoder for Collaborative Filtering implementation in TensorFlow
aerepl
REPL for Sophia language
blockchain-toy
Simple blockchain implementation in Haskell
i3hloc
Flexible scheduler for i3bar
latte
x86 compiler of Latte – statically typed object oriented programming language inspired by Java
masters-thesis
Liquid types for verification of smart contracts --- my master's thesis in computer science
radlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
satisfaction
A performant and elegant implementation of CDCL and DPLL SAT solving algorithms
radrow's Repositories
radrow/radlang
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
radrow/masters-thesis
Liquid types for verification of smart contracts --- my master's thesis in computer science
radrow/tftp-client-coq
TFTP client written and partially proven in Coq and OCaml
radrow/codo-notation
Codo notation for programming with comonads in Haskell
radrow/fizzbuzz-coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
radrow/Tiny-Semantics
Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style
radrow/latte
x86 compiler of Latte – statically typed object oriented programming language inspired by Java
radrow/satisfaction
A performant and elegant implementation of CDCL and DPLL SAT solving algorithms
radrow/aesophia
Stand alone compiler for the Sophia smart contract language
radrow/aesophia_cli
Aeternity Sophia CLI
radrow/aeternity
æternity: solving scalability problems by making sense of state-channels
radrow/awesome-emacs
A community driven list of useful Emacs packages, libraries and other items.
radrow/azure-sdk-for-python
This repository is for active development of the Azure SDK for Python. For consumers of the SDK we recommend visiting our public developer docs at https://docs.microsoft.com/python/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-python.
radrow/BondingCurve
radrow/docs
This repository contains .NET Documentation.
radrow/docs.microsoft.com-nuget
Documentation for NuGet
radrow/evmone
Fast Ethereum Virtual Machine implementation
radrow/hagia-sophia
Automated property checker for Sophia smart contract language
radrow/hindent
Haskell pretty printer
radrow/i3hloc2
Flexible scheduler for i3bar – reborn!
radrow/Iris
Discover, explore and manage your music library across multiple sources with this beautiful web-based interface. Iris is a Mopidy frontend extension.
radrow/otp
Erlang/OTP
radrow/PowerShell-Docs
The official PowerShell documentation sources
radrow/purescript
A strongly-typed language that compiles to JavaScript
radrow/purescript-base58
bs58 wrapper for purescript
radrow/purescript-bigints
Arbitrary length integers for PureScript
radrow/pyrlp
The python RLP serialization library
radrow/radrow
The frontpage of my github
radrow/radrow.github.io
radrow/sophia-libraries
Some libraries for Sophia programming language that could be standard