Rado Kirov

youtube-app. CSS

graph-editor.js. A graph (as in graph theory) editor, written in JavaScript using the canvas element.

ng2-ts-hello. Hello world for Angular 2 and TS

category-theory-in-context-lean. Lean Companion to the Category Theory in Context textbook by Emily Riehl

angular2-tour-of-heroes. Angular 2 - Tour of Heroes - The Next Step after Getting Started

linear-algebra-done-right-lean. Lean Companion to Axler's Linear Algebra Done Right

cont-signal. Continuation based JS reactive signals

analysis. A Lean companion to Analysis I

adapt-comp. Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.

ng-compute. TypeScript

dr.mario-javascript. dr.mario implemented with canvas and javascript

angular2-dart-router-demo. Dart

ng2-bundle. JavaScript

pyeval. A toy python evaluator on top of app engine

matscha. JS/TS AST matching tool

avl-ts. type-safe AVL trees in TypeScript

ts-transform-demo. TypeScript

agtables. source for agtables-1100.appspot.com

sagecell. The Sage Cell Server---providing a way to embed Sage computations into any web page.

ng-hackathon-starter. An Angular 2 starter project for the ng-hackathon

sagenb. EXPERIMENTAL mirror of the flask sagenb

TypeScript. TypeScript is a superset of JavaScript that compiles to clean JavaScript output.