brainrake/idris-libuv-example

Stars
8
Rank 2,099,232 (Top 42 %)
Language Idris
Created almost 9 years ago
Updated about 7 years ago

brainrake/idris-libuv-example

brainrake

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

code example for using Idris with a libuv-based async C runtime

nixos-tutorial

one hour, hands-on

nixform

define terraform infrastructure in nix

responsible

Idris 2 HTTP Api Server

legato

OSC, MIDI, and more

fuc

Functional Utilities for Coffeescript and Javascript

glossary

Glossary of Programming Language Concepts

furp

FRP with LiveScript

lifty

elevator scheduling simulator

nixsh

repair

(Re-)Connect multiple bluetooth devices

jsonrpcws

JSON-RPC over WebSockets

ia

brain

plumbrowse

Plumbing Opensearch bookmarks for your browser

vjc

VJCentrum Budapest website

arounder

keen

Livecoding for the Web, from your desktop editor

django-exo

django cms framework

amoebius

Five-in-a-row on a moebius strip and other lattices

purescript-elm-basics

Purescript port of Elm core library's Basics

django-lighttpd-fcgi-helper

helper scripts for deploying several django-based web apps with a lighttpd and fcgi setup

nix-org

Run Your Organization on Nix and Friends

elan

Lambda Calculus in Elm

CurveLife

local multiplayer curve game