Skip to content
View radrow's full-sized avatar
🐓
No more subgoals.
🐓
No more subgoals.
65 followers · 39 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@warsztatywww @aeternity @erlscripten

Block or report radrow

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • dlstalk-coq Public

    HTML Updated Mar 26, 2025

  • coq Public

    Forked from rocq-prover/rocq

    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 develo…

    OCaml GNU Lesser General Public License v2.1 Updated Mar 15, 2025

  • spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp GNU General Public License v3.0 Updated Jan 17, 2025

  • radrow.github.io Public

    HTML Updated Sep 2, 2024

  • radrow Public

    The frontpage of my github

    Updated Mar 9, 2024

  • BondingCurve Public

    JavaScript Updated Feb 5, 2024

  • sophia-libraries Public

    Some libraries for Sophia programming language that could be standard

    JavaScript Updated Feb 5, 2024

  • aesophia Public

    Forked from aeternity/aesophia

    Stand alone compiler for the Sophia smart contract language

    Erlang ISC License Updated Aug 30, 2023

  • awesome-emacs Public

    Forked from emacs-tw/awesome-emacs

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

    The Unlicense Updated Jun 19, 2023

  • pyrlp Public

    Forked from ethereum/pyrlp

    The python RLP serialization library

    Python MIT License Updated Nov 16, 2022

  • evmone Public

    Forked from ethereum/evmone

    Fast Ethereum Virtual Machine implementation

    C++ Apache License 2.0 Updated Nov 5, 2022

  • radlang Public

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

    programming-language haskell interpreter parsing
    Haskell 3 BSD 2-Clause "Simplified" License Updated Sep 14, 2022

  • purescript-base58 Public

    Forked from throughnothing/purescript-base58

    bs58 wrapper for purescript

    PureScript Updated Sep 14, 2022

  • aesophia_cli Public

    Forked from aeternity/aesophia_cli

    Aeternity Sophia CLI

    Erlang ISC License Updated Jul 28, 2022

  • aeternity Public

    Forked from aeternity/aeternity

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

    Erlang ISC License Updated Jul 27, 2022

  • azure-sdk-for-python Public

    Forked from Azure/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 ve…

    Python MIT License Updated Jul 15, 2022

  • PowerShell-Docs Public

    Forked from MicrosoftDocs/PowerShell-Docs

    The official PowerShell documentation sources

    PowerShell Creative Commons Attribution 4.0 International Updated Jun 22, 2022

  • i3hloc2 Public

    Flexible scheduler for i3bar – reborn!

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 1, 2022

  • docs.microsoft.com-nuget Public

    Forked from NuGet/docs.microsoft.com-nuget

    Documentation for NuGet

    PowerShell MIT License Updated Nov 24, 2021

  • docs Public

    Forked from dotnet/docs

    This repository contains .NET Documentation.

    Creative Commons Attribution 4.0 International Updated Nov 16, 2021

  • masters-thesis Public

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

    TeX 2 Updated Oct 5, 2021

  • fizzbuzz-coq Public

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

    Coq 1 GNU General Public License v3.0 Updated Sep 24, 2021

  • otp Public

    Forked from erlang/otp

    Erlang/OTP

    Erlang Apache License 2.0 Updated Jul 15, 2021

  • purescript Public

    Forked from purescript/purescript

    A strongly-typed language that compiles to JavaScript

    Haskell Other Updated Mar 19, 2021

  • satisfaction Public

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

    Rust 1 Updated Mar 15, 2021

  • tftp-client-coq Public

    TFTP client written and partially proven in Coq and OCaml

    Coq 2 MIT License Updated Jan 25, 2021

  • codo-notation Public

    Forked from dorchard/codo-notation

    Codo notation for programming with comonads in Haskell

    Haskell 1 BSD 2-Clause "Simplified" License Updated Jan 24, 2021

  • latte Public

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 30, 2020

  • purescript-bigints Public

    Forked from purescript-contrib/purescript-bigints

    Arbitrary length integers for PureScript

    PureScript MIT License Updated Dec 7, 2020

  • hindent Public

    Forked from mihaimaruseac/hindent

    Haskell pretty printer

    Haskell Other Updated Nov 23, 2020