radrow

radlang

A functional programming language intepreter with typeclasses, full type inference and lazy evaluation

masters-thesis

Liquid types for verification of smart contracts --- my master's thesis in computer science

tftp-client-coq

TFTP client written and partially proven in Coq and OCaml

codo-notation

Codo notation for programming with comonads in Haskell

fizzbuzz-coq

The ultimate solution for the world's most undecidable (or sth) problem - proven Coq

Tiny-Semantics

Task for Semantics and Programs Verification course at MIMUW – denotational semantics of extended Tiny programming language in continuational style

latte

x86 compiler of Latte – statically typed object oriented programming language inspired by Java

satisfaction

A performant and elegant implementation of CDCL and DPLL SAT solving algorithms

aesophia

Stand alone compiler for the Sophia smart contract language

aesophia_cli

Aeternity Sophia CLI

aeternity

æternity: solving scalability problems by making sense of state-channels

awesome-emacs

A community driven list of useful Emacs packages, libraries and other items.

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.

BondingCurve

docs

This repository contains .NET Documentation.

docs.microsoft.com-nuget

Documentation for NuGet

evmone

Fast Ethereum Virtual Machine implementation

hagia-sophia

Automated property checker for Sophia smart contract language

hindent

Haskell pretty printer

i3hloc2

Flexible scheduler for i3bar – reborn!

Iris

Discover, explore and manage your music library across multiple sources with this beautiful web-based interface. Iris is a Mopidy frontend extension.

otp

Erlang/OTP

PowerShell-Docs

The official PowerShell documentation sources

purescript

A strongly-typed language that compiles to JavaScript

purescript-base58

bs58 wrapper for purescript

purescript-bigints

Arbitrary length integers for PureScript

pyrlp

The python RLP serialization library

radrow

The frontpage of my github

radrow.github.io

sophia-libraries

Some libraries for Sophia programming language that could be standard