holdenlee/depgraph holdenlee/depgraph

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    MIT License
  • Created about 10 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
holdenlee/depgraph
github

holdenlee

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Draw dependency graphs for math theorems

More Repositories

1

number-theory

Open-source number theory textbook
TeX
55
star
2

purescript-games

Simple games implemented in purescript
PureScript
15
star
3

simons-ml

Notes from Simons Institute program "Foundations of Machine Learning"
TeX
13
star
4

mathnotes

TeX
9
star
5

HasFlow

Write Haskell, compile to Tensorflow
Haskell
5
star
6

oops

Notes from Online Open Probability School (OOPS) 2020
TeX
4
star
7

fluidity

Parallel terraced scan architecture from Hofstadter and Mitchell's Copycat
Haskell
4
star
8

holdenlee.github.io

HTML
4
star
9

adversarial

Training on adversarial examples
Python
2
star
10

mlds

TeX
1
star
11

CoinLang

Haskell
1
star
12

learn-grammar

Python
1
star
13

omc

TeX
1
star
14

Namba

Fast-paced game involving arithmetic and functional programming
Elm
1
star
15

notebook

Research notebook
HTML
1
star
16

templates

LaTeX templates
TeX
1
star
17

blog

1
star
18

theorem-prover

Haskell
1
star
19

aisfp17

TeX
1
star
20

mat597

Notes from PHY521/MAT597 (Mathematical Physics), Spring 2016
TeX
1
star
21

elm

Elm
1
star
22

philosophocle

A pinnacle of higher education
HTML
1
star