skymountain

Pinned Repositories

automata
Language:Ruby00
caffe2
Caffe2 is a lightweight, modular, and scalable deep learning framework.
Language:Jupyter Notebook00
Configure
configure files
Language:Perl00
lambda
interpreter for lambda calculus
Language:OCaml10
miniocaml
subset of ml
Language:OCaml30
MLSR
A functional programming language with polymorphic algebraic effects, handlers, and signature restriction
Language:OCaml131

skymountain's Repositories

skymountain/MLSR
A functional programming language with polymorphic algebraic effects, handlers, and signature restriction
Language:OCaml131
skymountain/miniocaml
subset of ml
Language:OCaml30
skymountain/lambda
interpreter for lambda calculus
Language:OCaml10
skymountain/automata
Language:Ruby00
skymountain/caffe2
Caffe2 is a lightweight, modular, and scalable deep learning framework.
Language:Jupyter Notebook00
skymountain/Configure
configure files
Language:Perl00
skymountain/dcc
Language:OCaml
skymountain/dotfiles
Language:Emacs Lisp
skymountain/euler
Project Euler
Language:OCaml
skymountain/latex-prop
Language:TeX
skymountain/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Language:C++
skymountain/skymountain.github.io
Web page
Language:HTML
skymountain/SML
Algorithms and Data structures
Language:C++
skymountain/Sorter
Language:Perl1
skymountain/sysf
interpreter of System F and the derived type systems.
Language:OCaml