skaslev/why-types skaslev/why-types

  • Stars
    star
    46
  • Rank 594,457 (Top 13 %)
  • Language
    TeX
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
skaslev/why-types
github

skaslev

Reviews

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

Repository Details

Why Types Matter

More Repositories

1

gl3w

Simple OpenGL core profile loading
Python
669
star
2

catmull-clark

Catmull-Clark subdivision surfaces demo
C
22
star
3

burton

PyQt and PyOpenGL tutorials
Python
11
star
4

thru

thru measures throughput between guest vm and host using fifo/tcp/udp/vsock
C
8
star
5

orange

OpenCL toy volumetric renderer
C
6
star
6

emacs.d

My emacs configuration
Emacs Lisp
5
star
7

bezier

Bezier curves editing demo
C
4
star
8

pyman

Yet another school project - Mandelbrot viewer in Python
Python
3
star
9

fract

Jupyter Notebook
3
star
10

cabal-pagerank

Cabal PageRank
Python
2
star
11

cpp11-playground

C++11 Playground
C++
2
star
12

vimrc

My vim configuration
Vim Script
2
star
13

hello-world

Haskell "hello world" program in fake OOP notation (foo.bar(baz).bax)
Haskell
1
star
14

kubectl-watch

kubectl plugin for watching cluster resource changes
Go
1
star
15

zero-to-zipper

Zero To Zipper Code and Slides
TeX
1
star
16

tilt

Tilt
JavaScript
1
star
17

proofs-talk

Code and slides from the talk "Introduction to Theorem Proving in Lean"
TeX
1
star