Violeta Hernández (@vihdzp)
github

vihdzp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    94
  • Global Rank 217,299 (Top 8 %)
  • Followers 32
  • Following 22
  • Registered over 4 years ago
  • Most used languages
    Rust
         61.5 %
    Lean     23.1 %
    TeX
         7.7 %
    HTML
         7.7 %
  • Location 🇲🇽 Mexico
  • Country Total Rank 602
  • Country Ranking
    Lean     1
    Rust
         5
    TeX
         35
    HTML
         257

Top repositories

1

miratope-rs

A tool for building and visualizing polytopes.
Rust
56
star
2

colimiter

An inverse limiter.
Rust
9
star
3

miratope

A renderer for polytopes.
HTML
8
star
4

polytope_new

Abstract polytopes in Lean!
Lean
5
star
5

polytope-intro

A short introduction to the Polytope Discord, and the things we do around there.
TeX
4
star
6

pointillism

A compositional library for musical composition.
Rust
3
star
7

ordinal-notation

Ordinal notations in Lean
Lean
1
star
8

brainfuck-game

A fun little Discord game based on Brainfuck
Rust
1
star
9

cayley

Some experiments with the Cayley-Dickson construction
Rust
1
star
10

xmath

In very early development.
Rust
1
star
11

polytope

Abstract polytopes, in Lean!
Lean
1
star
12

synthtest

test
Rust
1
star
13

nmath

Algebraic structures as Rust traits
Rust
1
star