naldoco Goto Github PK
Name: Reynaldo Cordero
Type: User
Company: Universidad de Alcalá
Location: Alcalá de Henares
Name: Reynaldo Cordero
Type: User
Company: Universidad de Alcalá
Location: Alcalá de Henares
My personal configuration for the The One True Editor.
Kata: abstractMachine (TDD Style) - Graham Hutton's "Programming in Haskell 2nd Ed."
Kata: binStrTransm (TDD Style) - Graham Hutton's "Programming in Haskell 2nd Ed."
Kata Bowling (TDD Style) - From http://www.decharlas.uji.es/es/programacion-funcional-introduccion-haskell - A. Marzal
Charlas, tutoriales, charlas relámpago
A small, purely functional programming language. For learning.
Código y ejercicios del libro 'Beginning Haskell' de Alejandro Serrano Mena
Kata FizzBuzz, by A. Marzal. (TDD Style) http://www.decharlas.uji.es/es/programacion-funcional-introduccion-haskell
Experiments and other stuff.
Haskell code
:pencil2: :bar_chart: - The Haskell code editor focused on interactive development.
Simple Exercises in Haskell, using HSpec
haskell-katas
Haskell MOOC University of Helsinki
The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
Haskell knowledgebase, Zettelkasten style
Repository for my talk, "Competitive Programming in Haskell", at Haskell Love 2021.
Demo repository for demonstrating Eclipse EGit.
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
A tiny proof system for classical propositional logic.
Kata: luhn (BDD/TDD Style) - "Behavior-driven development (BDD) in Haskell with Hspec" by Juan Carlos Pazmiño
Python Exercises
Haskell meets Zettelkasten, for your plain-text delight.
To start a new Haskell project in few seconds.
Bash script to start a new Haskell kata in few seconds reusing an old one.
To start a new Haskell kata ready to BDD/TDD in few seconds using stack.
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.