stepcut/idris-blink stepcut/idris-blink

  • Stars
    star
    54
  • Rank 544,902 (Top 11 %)
  • Language Makefile
  • Created over 10 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stepcut/idris-blink
github

stepcut

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A simple Idris program to blink the LED on an Arduino

More Repositories

1

plugins

Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
Haskell
50
star
2

hyperdrive

A fast, low-level HTTP server you can trust
Haskell
47
star
3

idrOS

An OS written in Idris (eventually...)
C
17
star
4

ase2css

Library and command-line app for parsing Adobe Swatch Exchange files and (optionally) creating a .css file with the values
Haskell
14
star
5

minecraft-data

library for creating minecraft levels and commands
Haskell
12
star
6

isomaniac

Haskell
9
star
7

deckofcards

How to model of Deck of Cards in Haskell
Haskell
9
star
8

nix-haskell-tutorial

A complete tutorial for developing and deploying Haskell web applications using Nix and Nixops
Nix
7
star
9

ircbot

A simple haskell ircbot library. I have better ideas now, but this one is needed to support clckwrks-plugin-ircbot for now.
Haskell
6
star
10

snap-web-routes-demo

modify the default snap project to include a web-route
Haskell
5
star
11

hyperdrive-book

Let's implement a web server in Haskell!
Haskell
5
star
12

timeout

IO with timeouts
Haskell
4
star
13

relatable

a pure, strongly typed relational algebra library
Haskell
4
star
14

hackage-whatsnew

Diff a local cabal working directory against its latest counterpart on hackage and report any differences
Haskell
4
star
15

safe-length

Tired of accidentally calling length on tuples? Relief at last!
Haskell
4
star
16

acme-http

winning the PONG benchmark at all costs
Haskell
3
star
17

stackulator

A little calculator which combines RPN (reverse polish notation) style calculators with a LambdaPi dependent-type system.
JavaScript
3
star
18

pipes-process

A pipes based interface to System.Process
Haskell
2
star
19

stripe-api-gen

Generate Haskell bindings to the stripe API
Haskell
2
star
20

cabalsdist

cabal sdist wrapper for nix
Nix
1
star
21

ponyfolder

Haskell
1
star
22

agda-blinkomatic

make virtual lights blink on and off using FRP
Haskell
1
star
23

stripe

Yet Another Stripe library for Haskell
Haskell
1
star
24

servant-demo

A fork of the standard servant tutorial
Haskell
1
star
25

stackulator-hs

Haskell version of stackulator
Haskell
1
star
26

servant-isomaniac

Haskell
1
star