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/abstract-algorithm
Optimal evaluator of λ-calculus terms.
diogenesmota/agda
The theory of algebraic graphs formalised in Agda
diogenesmota/agda-stdlib
The Agda standard library
diogenesmota/alga
Algebraic graphs
diogenesmota/anime
JavaScript Animation Engine
diogenesmota/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
diogenesmota/computer-science
:mortar_board: Path to a free self-taught education in Computer Science!
diogenesmota/cpuinfo
Haskell Library for Checking CPU Information
diogenesmota/cubical
diogenesmota/developer-roadmap
Roadmap to becoming a web developer in 2017
diogenesmota/flexbugs
A community-curated list of flexbox issues and cross-browser workarounds for them.
diogenesmota/fullPage.js
fullPage plugin by Alvaro Trigo. Create full screen pages fast and simple
diogenesmota/haskell-chart
A 2D charting library for haskell
diogenesmota/HEAD
A list of everything that could go in the <head> of your document
diogenesmota/HoTT-Agda
Development of homotopy type theory in Agda
diogenesmota/moon-lang
Universal code-interchange format
diogenesmota/nana
a modern C++ GUI library
diogenesmota/papers-we-love
Papers from the computer science community to read and discuss.
diogenesmota/Pharo-Functional
Functional support for Pharo
diogenesmota/pycep-correios
Busca CEP utilizando webservice SIGEPWEB dos Correios
diogenesmota/qtah
Qt bindings for Haskell. Mirror of https://gitlab.com/khumba/qtah; pull requests over there please!
diogenesmota/reflex-examples
diogenesmota/scrollreveal
Easy scroll animations for web and mobile browsers.
diogenesmota/snes9x
Snes9x - Portable Super Nintendo Entertainment System (TM) emulator
diogenesmota/software-foundations
Software Foundations in Idris
diogenesmota/speedtest-cli
Command line interface for testing internet bandwidth using speedtest.net
diogenesmota/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
diogenesmota/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
diogenesmota/You-Dont-Know-X
🙈 curated list of inspiring resources which show you don't know that much about something you thought you knew.
diogenesmota/zero-to-quake-3
Implementing Quake 3 in Haskell & Vulkan