Pinned Repositories
blog-diegoroque
data-science-intensive
Data Science Intensive
dbrecord-opaleye
docker-hugs98
Containerize everything! Idea from: https://github.com/geggo98/vagrant-hugs98
dotfiles
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
exercism
hackerrank
Hacker Rank
hugo-dusk
Simple, minimalistic dark theme for Hugo.
JuMP.jl
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
lean
Lean Theorem Prover
diego9627's Repositories
diego9627/exercism
diego9627/blog-diegoroque
diego9627/data-science-intensive
Data Science Intensive
diego9627/dbrecord-opaleye
diego9627/docker-hugs98
Containerize everything! Idea from: https://github.com/geggo98/vagrant-hugs98
diego9627/dotfiles
YADR - The best vim,git,zsh plugins and the cleanest vimrc you've ever seen
diego9627/hackerrank
Hacker Rank
diego9627/hugo-dusk
Simple, minimalistic dark theme for Hugo.
diego9627/JuMP.jl
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
diego9627/lean
Lean Theorem Prover
diego9627/learnjs
Prepared Workspace for "Serverless Single Page Apps" @ Pragprog
diego9627/Lenses-Talk
Lenses Talk
diego9627/MASLAB
maslab
diego9627/mathOrgConvert
diego9627/mygithubpage
diego9627/NICTA-Haskell-Exercises
my solutions to NICTA Haskell Exercises
diego9627/openmc
OpenMC Monte Carlo Code
diego9627/ophiel-maintenance
maintenance
diego9627/purescript-halogen
A declarative, type-safe UI library for PureScript.
diego9627/quickspec
Equational laws for free
diego9627/rbush-3d
RBush-3D — a high-performance JavaScript R-tree-based 3D spatial index for points and cuboids
diego9627/try_git
diego9627/tryhaskell
Try Haskell
diego9627/udacity-ml-projects
Udacity ML Projects
diego9627/USACO-Training-Gate
Soluciones de USACO Training Gate
diego9627/users
A library simplifying user management for Haskell web applications
diego9627/Z-Machine
Compilador y solucion de Z-machine