mgrabovsky/bubble-chart mgrabovsky/bubble-chart

  • Stars
    star
    2
  • Language
    TypeScript
  • Created about 2 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mgrabovsky/bubble-chart
github

mgrabovsky

Reviews

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

Repository Details

An example of an interactive bubble chart (Γ  la Hans Rosling) using React, D3.js and TypeScript

More Repositories

1

fm-notes

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Coq
20
star
2

simurgh

Dependently typed purely functional programming language
Haskell
5
star
3

vim-cuesheet

Cue sheet syntax higlighting for Vim
Vim Script
2
star
4

cryptoverif

Python implementations for CryptoVerif 1.23 (outdated)
OCaml
2
star
5

vim-xverif

Rudimentary Vim syntax highlighting for multiple formal verification-related tools
Vim Script
1
star
6

mgrabovsky.github.io

CSS
1
star
7

cryptoverif-py-lib

Python implementations for CryptoVerif – Python library and examples. No longer maintained.
Python
1
star