-
Safer APIs with Ghosts of Departed Proofs
Created Dec 12th, 2019
1,787
3
-
Linguistics
Created May 21st, 2019
480
1
-
Mathematical Structure
Created Oct 22nd, 2018
488
0
-
deck
Created Jun 10th, 2018
541
0
-
Composing Compilers
Created Mar 6th, 2018
388
0
-
Programs Writing Programs
Created Feb 9th, 2018
506
0
-
Secret sharing
Created Nov 27th, 2017
322
1
-
Functional Reactive Programing
Created Nov 21st, 2017
472
0
-
Verifiable Computing
Created Oct 30th, 2017
1,236
0
-
DEV
Created Sep 20th, 2017
473
0
-
deck
Created Sep 4th, 2017
468
0
-
Monads
Created Mar 28th, 2017
443
0
-
deck
Created Jan 25th, 2017
450
0
-
APL
Created Nov 18th, 2016
518
0
-
Linux Kernel
Created Aug 18th, 2016
463
1
-
SUBMODULES
Created Jul 15th, 2016
430
0
-
Cellular Automata
Created Jul 1st, 2016
447
0
-
deck
Created Jun 17th, 2016
440
0
-
SHADERS
Created Jun 8th, 2016
419
0
-
deck
Created Apr 29th, 2016
418
0
-
Rust
Created Apr 15th, 2016
494
0
-
Rust
Created Apr 1st, 2016
452
0
-
Haskell
Created Mar 11th, 2016
422
0
-
Haskell
Created Mar 4th, 2016
427
0
-
Haskell
Created Feb 26th, 2016
501
0
-
Go
Created Feb 19th, 2016
446
1