Kyle Miller (@kmill)
github

kmill

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    166
  • Global Rank 142,549 (Top 5 %)
  • Followers 35
  • Following 1
  • Registered over 14 years ago
  • Most used languages
    JavaScript
         27.3 %
    Python
         22.7 %
    Lean     18.2 %
    C
         13.6 %
    Mathematica     9.1 %
    Haskell
         4.5 %
    C++
         4.5 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 3,605
  • Country Ranking
    Lean     2
    Mathematica     12
    Haskell
         151
    JavaScript
         1,954
    C
         2,216
    Python
         2,408
    C++
         4,310

Top repositories

1

lean4-raytracer

A simple raytracer written in Lean 4
Lean
99
star
2

knotfolio

A program for drawing knots and links, with support for importing images
JavaScript
18
star
3

textadv

An interactive fiction engine written in Python
Python
14
star
4

LeanTeX

Lean 4 library for pretty printing expressions as LaTeX
Lean
13
star
5

zmach

A z-machine interpreter which does dynamic recompilation to javascript
JavaScript
7
star
6

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots
Mathematica
4
star
7

dcc

The Decaf Compiler Compiler
Haskell
3
star
8

htmacros

Hypertext macros for managing websites using LaTeX-like syntax
Python
3
star
9

squidmusic

A distributed music system with remote speaker control
Python
2
star
10

squidlights

A general interface for light control
C
2
star
11

textadv-js

A pure-JavaScript interactive fiction engine that runs in the web browser
JavaScript
2
star
12

lean-graphcoloring

Using Lean to formalize proofs related to graph coloring
Lean
2
star
13

squidlights2

new udp-based squidlights
C
1
star
14

rts

JavaScript
1
star
15

clangor

A language for sound synthesis
C
1
star
16

nyc_address_extractor

Python
1
star
17

website

This is the source for my website
JavaScript
1
star
18

metaview

Python
1
star
19

bignum.js

A library for doing arithmetic with big integers, rationals, and computable reals.
JavaScript
1
star
20

planalg

Planar algebra computations in Mathematica
Mathematica
1
star
21

esplights

An "operating system" for the ESP8266 to control lights.
C++
1
star
22

msri2023_graphs

Repository for graph theory & combinatorics group at the MSRI Lean summer school
Lean
1
star