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/ae_mdw
Aeternity Middleware in Elixir
radrow/aebytecode
Aeternity virtual machines byte code modules
radrow/aepp-hyperchain-bridge
radrow/aeserialization
Serialization formats for the aeternity node
radrow/aeserialization-rust
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/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
radrow/ddmon
radrow/distributed-deadlock
radrow/dlstalk-coq
radrow/evmone
Fast Ethereum Virtual Machine implementation
radrow/i3hloc2
Flexible scheduler for i3bar – reborn!
radrow/leanathon-2025
Course proposal/description for DTU Leanathon 2025
radrow/powerlevel10k
A Zsh theme
radrow/PowerShell-Docs
The official PowerShell documentation sources
radrow/purescript-base58
bs58 wrapper for purescript
radrow/pyrlp
The python RLP serialization library
radrow/radrow
The frontpage of my github
radrow/radrow.github.io
radrow/rfcs
Rocq RFCs: documents to discuss changes to the Rocq Prover
radrow/sophia-libraries
Some libraries for Sophia programming language that could be standard
radrow/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
radrow/tree-sitter-aesophia
sophia parser in JS playground
radrow/wuwiak
WWW ww wWwww ww compiler