bartadv Goto Github PK

.files

.live-packs

anti-ioc

Evaluating usage of free monads to implement inversion-of-control-less game logic

bigctrl

Add Ctrl key functionality to the space bar.

blodwen

A prototype successor to Idris

boot-bower

boot-clj task for bower

chime

A really lightweight Clojure scheduler

clientsession

Stores web session data in a client cookie, protected with authentication and encryption.

droid-test

Testing Clojure+Android

elm-architecture-tutorial

How to create modular Elm code that scales nicely with your app

elm-architecture-tutorial-reflex

Elm architecture tutorial reworked in Haskell' Reflex library

emacs.d

ergodox-firmware

firmware for the ergoDOX keyboard

erlando

Erlando

freeablo

Modern reimplementation of the Diablo 1 game engine

gitrev

Compile git revision info into Haskell projects

grasssnake

Something for a Pi

h5p-standalone

Server free H5P Content

hackslash

home-site

Common Lisp site running on Raspberry Pi

hoogle

Haskell API search engine

humming

queue_classic in Haskell

idris-array

primitive flat arrays containing Idris values

idris-bifunctors

A small bifunctor library for idris

idris-cil

A Common Intermediate Language backend for Idris.

idris-dev

A Dependently Typed Functional Programming Language

idris-ioref-c

Basic IORefs for Idris (with C backend)

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

idris-profunctors

A small profunctor library for idris

idris-sodium

A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP