![hacktoberfest logo](https://raw.githubusercontent.com/github/explore/02718cf03eb6adfecf48703ea4d7aeda0628378a/topics/hacktoberfest/hacktoberfest.png)
Block or Report
Block or report NotWearingPants
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
JohannesBuchner / imagehash
Forked from bunchesofdonald/photohashA Python Perceptual Image Hashing Module
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
An ecosystem of tools to build robust applications in TypeScript
Embed Neovim in Chrome, Firefox & others.
Repository for the book "Crafting Interpreters"
JDK main-line development https://openjdk.org/projects/jdk
A proven SVG-based JavaScript diagramming library powering exceptional UIs
Annotate Python AST trees with source text and token information
A common base representation of python source code for pylint and other projects
Formal proof in Coq of Cauchy Schwarz Inequality
🐊 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. …
Visual Studio Code extension for the Lean 4 proof assistant
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
A Verified Implementation of Dijkstra's Algorithm
Online tools provides md2, md5, sha1, sha2, sha512, bas64, html encode / decode functions
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!
Dafny is a verification-aware programming language
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
An interactive, visual demonstration of the four color theorem.
Four color theorem, Guthrie, Kempe, Tait and other people and stuff