Skip to content
View varunpatro's full-sized avatar

Organizations

@NixOS

Block or report varunpatro

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

Master programming by recreating your favorite technologies from scratch.

Markdown 451,242 42,325 Updated Oct 10, 2025

A library to help writing wrappers around ocaml code for python

OCaml 99 12 Updated Jul 30, 2024

Haskell In New Clothes

Haskell 110 3 Updated Aug 14, 2020

Rudimentary Roam replica with Org-mode

Emacs Lisp 5,871 492 Updated Nov 25, 2025

ShellCheck, a static analysis tool for shell scripts

Haskell 38,694 1,894 Updated Dec 15, 2025

An analysis tool for Python that blurs the line between testing and type systems.

Python 1,237 64 Updated Dec 18, 2025

APALACHE: symbolic model checker for TLA+ and Quint

Scala 508 44 Updated Dec 11, 2025

OCaml bindings for Python

OCaml 201 35 Updated Aug 7, 2025

Python 3.5+ bindings for OCaml

OCaml 59 4 Updated Mar 29, 2024

PyO3-based Rust bindings of the NumPy C-API

Rust 1,323 129 Updated Dec 13, 2025

A curated list of awesome warez and piracy links

HTML 25,926 2,240 Updated Jun 18, 2023

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Python 12,956 784 Updated Dec 22, 2025

KCC (a.k.a. Kindle Comic Converter) is a comic and manga converter for ebook readers.

Python 4,539 298 Updated Dec 15, 2025

Master the command line, in one page

159,234 14,766 Updated Jun 25, 2024

Static assets for legalese.com

HTML 69 26 Updated May 18, 2021

A rule engine based on Attempto Controlled English

Prolog 18 6 Updated Nov 1, 2024

The next open source file uploader for web browsers 🐶

TypeScript 30,534 2,089 Updated Dec 22, 2025

Never use print for debugging again

Python 16,595 958 Updated May 31, 2025

A collection of TLA⁺ specifications of varying complexities.

TLA 1,429 212 Updated Dec 15, 2025

Continuous Unix commit history from 1970 until today

Assembly 7,020 465 Updated Dec 22, 2025

mawww's experiment for a better code editor

C++ 10,636 753 Updated Dec 22, 2025

Elegant, modern and asynchronous Telegram MTProto API framework in Python for users and bots

Python 4,586 1,558 Updated Dec 23, 2024

Apprise - Push Notifications that work with just about every platform!

Python 15,247 540 Updated Dec 22, 2025

The Python-only web framework

Python 129 7 Updated Jul 25, 2024

lambda calculus compiler

Scala 1 Updated Nov 8, 2016
OCaml 1 Updated Jan 9, 2019

Pampy: The Pattern Matching for Python you always dreamed of.

Python 3,529 126 Updated Jan 16, 2025

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

Go 8,809 132 Updated Sep 5, 2024

Extending C with cmacro

C 343 12 Updated Aug 4, 2020
Next