Skip to content
View phlalx's full-sized avatar

Block or report phlalx

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

System for collecting, deriving and working with facts about source code.

Hack 1,272 73 Updated Oct 10, 2025

A simple long-polling example based on Flask-restful and jQuery

Python 44 12 Updated Sep 2, 2018

python utils for tezos

Python 47 47 Updated Jun 27, 2024

Tezos node/shell in Rust. Unfortunately dev has ceased. If you are interested in resurrecting, please contact @drchrispinnock

Rust 147 54 Updated Jun 25, 2024

Leetcode solutions organized by the problem categories

Python 685 137 Updated Mar 27, 2025

Command line binaries for the TLA+ language

Shell 170 26 Updated Apr 27, 2023

Command-line, stack-based calculator with postfix notation

C 370 30 Updated Sep 18, 2024

A collection of TLA⁺ specifications of varying complexities.

TLA 1,413 210 Updated Sep 10, 2025

A Twitter-toy clone written in PHP and Redis, used in the early days to introduce Redis data types.

PHP 367 140 Updated May 18, 2018

A commodore 64 emulator written in vanilla JavaScript

Assembly 132 23 Updated Sep 23, 2022

3rd party plugins for leetcode-cli

JavaScript 142 53 Updated Oct 5, 2022