Skip to content
View lab156's full-sized avatar
🤓
Go ahead, tell me about it!
🤓
Go ahead, tell me about it!
9 followers · 56 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
Block or Report

Block or report lab156

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • AdmonClases Public

    Collection of scripts to keep track of daily lectures and homeworks in latex

    Jupyter Notebook Updated Jun 18, 2024

  • LempiraDolar Public

    Obtain and visualize LPS. and USD exchange rate data.

    Jupyter Notebook Updated Jun 1, 2024

  • arxivDownload Public

    TeX 7 1 Updated Feb 21, 2024

  • car-webscrapper Public

    JavaScript Updated Nov 7, 2021

  • CNL-CIC Public

    Forked from formalabstracts/CNL-CIC

    A controlled natural language for calculus of inductive constructions, based on Forthel.

    TeX MIT License Updated Sep 20, 2020

  • baraja Public

    script de python para jugar naipes

    Python 1 1 Updated Aug 7, 2020

  • word2vec Public

    Forked from tmikolov/word2vec

    Automatically exported from code.google.com/p/word2vec

    C Apache License 2.0 Updated Jul 29, 2020

  • fabsTeX Public

    Create a stacks-like website for your LaTeX document

    TeX GNU General Public License v3.0 Updated Feb 18, 2020

  • tex2cnl Public

    more texi to your canoli...

    TeX Updated Aug 8, 2019

  • unwiki Public

    Forked from fitnr/unwiki

    Python module to remove wiki markup text.

    Python GNU General Public License v3.0 Updated Mar 20, 2019

  • formalabstracts Public

    Forked from formalabstracts/formalabstracts
    Lean Updated Mar 1, 2019

  • ACHW Public

    TeX Updated Dec 4, 2017

  • vim-lean Public

    Forked from mk12/vim-lean

    Lean Theorem Prover plugin for Vim.

    Vim Script Apache License 2.0 Updated Jul 29, 2017

  • Algebra_II-notes Public

    Lecture notes for Algebra II Spring 2015

    TeX Updated May 10, 2015

  • Real_Analysis-lecture-notes Public

    Real Analysis II lecture note Spring 2015

    TeX Updated May 4, 2015

  • Stochastic-Models-notes Public

    Lecture notes for Math 497 Spring 2015

    TeX Updated Jan 12, 2015

  • Differential-Geometry-notes Public

    Spring 2014 Differential Geometry course lecture notes

    TeX 1 Updated Dec 19, 2014

  • cheat Public

    Forked from cheat/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 …

    Python GNU General Public License v3.0 Updated Jul 30, 2014

  • Inverse-Problems-class-notes Public

    Spring 2014 Inverse Problems course lecture notes

    TeX Updated Jul 21, 2014

  • wiky.js Public

    Forked from tanin47/wiky.js

    Wiky.js - a simple Javascript library to convert Wiki MarkUp language to HTML

    JavaScript Updated Oct 15, 2012