lab156

Pinned Repositories

ACHW
Language:TeX0 3 00
AdmonClases
Collection of scripts to keep track of daily lectures and homeworks in latex
Language:Jupyter Notebook0 3 00
Algebra_II-notes
Lecture notes for Algebra II Spring 2015
Language:TeX0 3 00
arxivDownload
Language:TeX7 3 01
baraja
script de python para jugar naipes
Language:Python1 3 01
car-webscrapper
Language:JavaScript0 3 00
cheat
cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.
Language:Python0 3 00
definition-term-pairs-dataset
Datasets of definition-terms pairs
10
Differential-Geometry-notes
Spring 2014 Differential Geometry course lecture notes
Language:TeX1 3 00
unwiki
Python module to remove wiki markup text.
Language:Python0 3 00

lab156's Repositories

lab156/arxivDownload
Language:TeX7 3 01
lab156/baraja
script de python para jugar naipes
Language:Python1 3 01
lab156/definition-term-pairs-dataset
Datasets of definition-terms pairs
10
lab156/Differential-Geometry-notes
Spring 2014 Differential Geometry course lecture notes
Language:TeX1 3 00
lab156/ACHW
Language:TeX0 3 00
lab156/AdmonClases
Collection of scripts to keep track of daily lectures and homeworks in latex
Language:Jupyter Notebook0 3 00
lab156/Algebra_II-notes
Lecture notes for Algebra II Spring 2015
Language:TeX0 3 00
lab156/car-webscrapper
Language:JavaScript0 3 00
lab156/cheat
cheat allows you to create and view interactive cheatsheets on the command-line. It was designed to help remind *nix system administrators of options for commands that they use frequently, but not frequently enough to remember.
Language:Python0 3 00
lab156/CNL-CIC
A controlled natural language for calculus of inductive constructions, based on Forthel.
Language:TeX0 2 00
lab156/unwiki
Python module to remove wiki markup text.
Language:Python0 3 00
lab156/fabsTeX
Create a stacks-like website for your LaTeX document
Language:TeX4 0
lab156/formalabstracts
Language:Lean3 0
lab156/Inverse-Problems-class-notes
Spring 2014 Inverse Problems course lecture notes
Language:TeX3 0
lab156/LempiraDolar
Obtain and visualize LPS. and USD exchange rate data.
Language:Jupyter Notebook2 0
lab156/Real_Analysis-lecture-notes
Real Analysis II lecture note Spring 2015
Language:TeX3 0
lab156/Stochastic-Models-notes
Lecture notes for Math 497 Spring 2015
Language:TeX3 0
lab156/tex2cnl
more texi to your canoli...
Language:TeX2 0
lab156/vim-lean
Lean Theorem Prover plugin for Vim.
Language:Vim script3 0
lab156/wiky.js
Wiky.js - a simple Javascript library to convert Wiki MarkUp language to HTML
Language:JavaScript3 0
lab156/word2vec
Automatically exported from code.google.com/p/word2vec
Language:C2 0