halsten

halsten's Stars

• Bleuje/processing-utils

  Some pieces of Processing code that can be reused in many projects

  Language:Processing5

• Jim-Pearson/Jim-Pearson.github.io

  My personal page

  Language:Jupyter Notebook2

• Bleuje/processing-animations-code

  A set of Processing animations, which have commented code

  Language:Processing43616

• Just-A-Visitor/Algorithmic-Pseudocode

  This repository contains the pseudocode(pdf) of various algorithms and data structures necessary for Interview Preparation and Competitive Coding

  Language:TeX768167

• ZhouYuxuanYX/Hyperformer

  This is the official implementation of our paper "Hypergraph Transformer for Skeleton-based Action Recognition."

  Language:Python8714

• hrmacbeth/math2001

  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

  Language:HTML21998

• pitmonticone/LeanProject

  Template for blueprint-driven formalization projects in Lean.

  Language:Python343

• ianjauslin-rutgers/leanblueprint-extract

  A tool to extract the blueprint from a lean file

  Language:Python4

• utensil/LeanBlueprintExample

  Language:Lean51

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python17530

• fpvandoorn/group-representations

  The definition and basic properties of representations of groups in the Lean theorem prover

  Language:Lean11

• fpvandoorn/carleson

  A formalized proof of Carleson's theorem in Lean

  Language:Lean3722

• iceland2k14/secp256k1

  Python Library for Secp256k1 Bitcoin curve to do fast ECC calculation

  Language:Python12363

• albertobsd/keyhunt

  privkey hunt for crypto currencies that use secp256k1 elliptic curve

  Language:C++740481

• albertobsd/rsz

  Retrieve ECDSA signature R,S,Z values from blockchain rawtx or txid.

  Language:Python85

• StringManolo/DHunter

  Language:HTML21

• albertobsd/crackBTCwallet

  Crack encrypted master Key (AES 256 CBC with Padding)

  Language:C8252

• albertobsd/minikeyg

  faster minikey genetaror (casascius keys)

  Language:C++125

• albertobsd/simulations

  Simulations made in C and C++

  Language:C74

• albertobsd/SaveProgress

  A C++ Class and tools to Save Progress in File

  Language:C++42

• albertobsd/utxotrack

  Language:Python63

• albertobsd/keysubtracter

  Bitcoin and Altcoins Publickey subtracter

  Language:C4335

• albertobsd/ecctools

  Small collection of tools written in C for ECC and bitcoin

  Language:C6139

• albertobsd/ecloop

  🔐💻 ecloop: A high-performance, CPU-optimized tool for computing public keys on the secp256k1 elliptic curve, with features for searching compressed & uncompressed public keys and customizable search parameters.

  92

• corvino/LayerExplorer

  An OS X app for visualizing and exploring CALayer geometry.

  Language:Swift163

• pmichaillat/latex-math

  LaTeX commands to write mathematical expressions

  Language:TeX568

• pmichaillat/latex-paper

  Minimalist LaTeX template for academic papers

  Language:TeX25477

• lets-all-be-stupid-forever/circuit-artist

  Circuit Artist is a digital circuit drawing and simulation game.

  Language:C2407

• hbokmann/fibonacci-spirals

  Fibonacci spirals in HTML5

  Language:JavaScript31

• MBBCB/monitor

  Language:HTML1