Name: Luis Alberto Díaz Díaz
Type: User
Company: Mlabs
Bio: A mathematician from México. Currently happy working in @mlabs-haskell.
Location: México
Hi, I’m Luis. I'm a mexican mathematician with interest in desing and implementation of programing languages.
Actually I'm working in create a new language just for pelasure and to learn new things.
I'm doing a master degree with tesis on modal logic and formal verification.
dayuri
Functional language
dayuriparsergenerator
CLR(1) parser generator in Haskell
degumin
dotfiles
My dotfiles
grants-program
Web3 Foundation Grants Program
hmegukin
idris2-lsp
Language Server for Idris2
lambda
learning-haskell
A haskell tutorial for mathematicians
lsp-lib
A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.
luis-omega
Config files for my GitHub profile.
mal
mal - Make a Lisp
megukin
A functional language it's first step is to compile to python code.
parser_generator
A Lr(1) parser generator for my project Dayuri
pydayuri
A compiler for Dayuri functional language implemented in Python
sdayuki
Simple Dayuki is a simple typed lambda calculus with bidirectional type checking and holes.
seath
semanticas_de_kripke
Short work for proof theory
stlc
Simple typed lambda calculus with recursion in python
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
