Lucas Lopes Trindade's starred repositories
purescript
A strongly-typed language that compiles to JavaScript
data-science-at-the-command-line
Data Science at the Command Line
awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
harmony-reflect
ES5 shim for ES6 Reflect and Proxy objects
js-funcional
A Cookbook for writing FP in JavaScript using ES6
awesome-functional-studies
A curated list of functional programming resources to study the fp paradigm
Functional-Light-JS
Tradução para o português do livro Functional Light JS
dicionario-termos-funcionais
Dicionario de termos funcionais traduzidos
Metaprogramming
Metaprogramming examples
presentations
Slides, code, and other material for presentations I have given or plan to give or imagine myself giving.
purescript-leibniz
Leibniz Equality
Axiomatic_Set_Theory
Formalization of Axiomatic Set Theory in Coq
eloquent-patterns
In this repository I'm going to share the content you get by reading the book JavaScript Patterns, Stoyan Stefanov
purescript-web-events
Type definitions and low level interface implementations for Event, CustomEvent, and EventTarget
EAD-Matematica
Meus estudos com cursos de EAD em Matemática