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 is supported. This note will only be visible to 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,355 88 Updated Jun 14, 2026

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

Python 42 12 Updated Sep 2, 2018

python utils for tezos

Python 47 49 Updated Jun 27, 2024

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

Rust 146 53 Updated Jun 25, 2024

Leetcode solutions organized by the problem categories

Python 689 137 Updated Mar 27, 2025

Command line binaries for the TLA+ language

Shell 173 26 Updated Apr 27, 2023

Command-line, stack-based calculator with postfix notation

C 371 30 Updated Apr 13, 2026

A collection of TLA⁺ specifications of varying complexities.

TLA 1,518 217 Updated May 25, 2026

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

PHP 369 137 Updated May 18, 2018

A commodore 64 emulator written in vanilla JavaScript

Assembly 132 22 Updated Sep 23, 2022

3rd party plugins for leetcode-cli

JavaScript 141 51 Updated Oct 5, 2022