stepcut/idrOS stepcut/idrOS

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    C
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stepcut/idrOS
github

stepcut

Reviews

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

Repository Details

An OS written in Idris (eventually...)

More Repositories

1

idris-blink

A simple Idris program to blink the LED on an Arduino
Makefile
54
star
2

plugins

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

hyperdrive

A fast, low-level HTTP server you can trust
Haskell
47
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