recentpopularlog in

haskell

« earlier   
Twitter
RT : "A strongly typed martini. Shaken, not stirred. 🍸"
A workshop that verifies martinis with *liquid* , at Cad…
haskell  from twitter
5 hours ago by etorreborre
turtle.hs
Learning how to use GADTs to build practically-zero-effort deep-embedded DSLs has changed the way I write Haskell. I love that ten years into learning this language I'm still having my perspective expanded.
haskell  dsl  example 
7 hours ago by nicolashery
Twitter
"A strongly typed martini. Shaken, not stirred. 🍸"
A workshop that verifies martinis with *liquid* , at Cad…
haskell  from twitter_favs
10 hours ago by briantrice
CodeWorld
CodeWorld is an environment where you can build and create drawings, animations, and even single-player and multi-player video games using mathematics, using shapes, colors and transformations. It's programming a computer with mathematics.

This is the CodeWorld Guide, to help get you started. The guide is organized into parts, which you can choose on the left. Click outside the guide to start working. But don't worry: the Guide button at the bottom of the screen will get you back here.
programming  haskell  education 
23 hours ago by dicewitch
BurntSushi/erd
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
haskell  database  visualization 
yesterday by wrrn

Copy this bookmark:





to read