Pinned Repositories
abstract-algorithm
Optimal evaluator of λ-calculus terms.
agda
The theory of algebraic graphs formalised in Agda
agda-stdlib
The Agda standard library
alga
Algebraic graphs
algebra
constructive abstract algebra
angular-bootstrap-lightbox
Lightbox using AngularUI Bootstrap Modal
anime
JavaScript Animation Engine
awesome-answers
Curated list of inspiring and thoughtful answers given at stackoverflow, quora, etc.
awesome-infosec
A curated list of awesome infosec courses and training resources.
CamposNFe
Campos NFe é um conjunto de classes para facilitar a manipulação de campos na geração de nota fiscal eletrônica. Baseada na API NFePHP (https://github.com/nfephp-org/nfephp).
diogenesmota's Repositories
diogenesmota/algebra
constructive abstract algebra
diogenesmota/angular-bootstrap-lightbox
Lightbox using AngularUI Bootstrap Modal
diogenesmota/awesome-answers
Curated list of inspiring and thoughtful answers given at stackoverflow, quora, etc.
diogenesmota/awesome-infosec
A curated list of awesome infosec courses and training resources.
diogenesmota/CamposNFe
Campos NFe é um conjunto de classes para facilitar a manipulação de campos na geração de nota fiscal eletrônica. Baseada na API NFePHP (https://github.com/nfephp-org/nfephp).
diogenesmota/card
:credit_card: make your credit card form better in one line of code
diogenesmota/clrs
better default color palette.
diogenesmota/dotfiles
:octocat: dotfiles ❤ Testing my dotfiles repo on OS X to get my work environment ready in just a few moments. #VIM + #ZSH + #TMUX = Best Developer Environment
diogenesmota/eta
The Eta Programming Language, a dialect of Haskell on the JVM
diogenesmota/fibonacci
Fibonacci sequence in every programming language
diogenesmota/grunf
simple clojure-based http monitoring tool
diogenesmota/haskell
diogenesmota/haskell-libui
Haskell bindings to the libui C library.
diogenesmota/haskell-olhovivo
An API wrapper for the SPTrans Olho Vivo API.
diogenesmota/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
diogenesmota/introToAWSLambda
Introduction to AWS Lambda
diogenesmota/libui
Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.
diogenesmota/optlam
An optimal function evaluator written in JavaScript.
diogenesmota/phdthesis
phd thesis document source
diogenesmota/plt
A path to Programming Language Theory enlightenment
diogenesmota/prepare-ghcjs
diogenesmota/Q-OS
Q OS is a versatile operating system designed with the new features of 64 bit "long mode" CPU's in mind that focuses on making everything as simple as possible for the end user
diogenesmota/raven
Raven is a minimal, distraction-free text editor with good typography.
diogenesmota/SMCKit
Apple SMC library & tool in Swift
diogenesmota/torrent
diogenesmota/WizardsCastle
Find the Orb of Zot! Text-based adventure game from the 8-bit era rewritten in C for multiple platforms