Skip to content
View NotWearingPants's full-sized avatar
Block or Report

Block or report NotWearingPants

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

Starred repositories

Showing results

A Python Perceptual Image Hashing Module

Python 3,057 327 Updated Jun 20, 2024

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

Python 5,301 154 Updated Jul 1, 2024

An ecosystem of tools to build robust applications in TypeScript

TypeScript 6,157 196 Updated Jul 1, 2024

Embed Neovim in Chrome, Firefox & others.

TypeScript 4,545 144 Updated Jun 30, 2024

Repository for the book "Crafting Interpreters"

HTML 8,401 1,009 Updated Jun 17, 2024

The pattern matching swiss knife

C 7,899 1,415 Updated Jun 21, 2024

Transcribe on your own!

TypeScript 417 24 Updated Jul 1, 2024

Python library for audio and music analysis

Python 6,817 938 Updated Jun 26, 2024

JDK main-line development https://openjdk.org/projects/jdk

Java 18,880 5,284 Updated Jul 1, 2024

A proven SVG-based JavaScript diagramming library powering exceptional UIs

JavaScript 4,529 843 Updated Jun 20, 2024

Annotate Python AST trees with source text and token information

Python 166 32 Updated Jun 17, 2024

A common base representation of python source code for pylint and other projects

Python 518 265 Updated Jun 29, 2024

A Python Parser

Python 591 103 Updated Jun 27, 2024

Mathematical Components

Coq 555 110 Updated Jul 1, 2024

Formal proof in Coq of Cauchy Schwarz Inequality

Coq 7 1 Updated Apr 16, 2017

🐊 Pluggable and configurable JavaScript Linter, code transformer and formatter, drop-in ESLint superpower replacement 💪 with built-in support for js, jsx typescript, flow, markdown, yaml and json. …

JavaScript 681 39 Updated Jul 1, 2024

Official mirror of Blender

C++ 12,119 1,850 Updated Jul 1, 2024

Visual Studio Code extension for the Lean 4 proof assistant

TypeScript 135 42 Updated Jul 1, 2024

ivrit.ai codebase

Python 16 8 Updated Jun 14, 2024

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Rust 3,406 422 Updated Jun 9, 2024

A Verified Implementation of Dijkstra's Algorithm

Coq 13 Updated Mar 2, 2021

Online tools provides md2, md5, sha1, sha2, sha512, bas64, html encode / decode functions

HTML 702 322 Updated Jul 1, 2024

Pyrallis is a framework for structured configuration parsing from both cmd and files. Simply define your desired configuration structure as a dataclass and let pyrallis do the rest!

Python 182 7 Updated Dec 14, 2023

Dafny is a verification-aware programming language

C# 2,839 254 Updated Jul 1, 2024

Boogie

Boogie 495 107 Updated Jun 27, 2024

Next Generation Shell (NGS)

C 1,394 43 Updated Jun 27, 2024

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 599 101 Updated Jun 25, 2024

An interactive, visual demonstration of the four color theorem.

Processing 24 4 Updated Oct 19, 2021

Four color theorem, Guthrie, Kempe, Tait and other people and stuff

Python 9 4 Updated Aug 22, 2022

SumatraPDF reader

C 12,938 1,669 Updated Jun 30, 2024
Next