voila/internet_archive_bookreader
openlibrary bookreader
Developer Profile
voila
Discovered public repositories for voila in the GitHub catalog.
voila/mukanren
Public repository.
voila/proper-examples
Public repository.
voila/erlang-bookmarks
All about erlang programming language [powerd by community]
voila/idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
voila/CodeMirror
In-browser code editor
voila/QuickCheck-in-5mn
A lightning talk about Property-Based Testing and QuickCheck
voila/idris-exercises
Public repository.
voila/idris-tutorial
A tutorial to the Idris Programming Language.
voila/beat
A hackday project for Erlang/OTP pedagogy.
voila/webmachine
A REST-based system for building web applications.
voila/Idris-dev
A Dependently Typed Functional Programming Language
voila/otp
Erlang/OTP
voila/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
voila/etudes-for-erlang
Companion exercises for O'Reilly Media's "Introducing Erlang"
voila/Erlang101
Code for the CodeCraft Erlang talk
voila/cowboy
Small, fast, modular HTTP server written in Erlang.
voila/pixel-party-ws
Pixel drawing web app with websocket
voila/try-racket
A web-based Racket REPL and tutorial
voila/opam-repository
Package descriptions for OPAM
voila/frog
Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments.
voila/tt
A minimalist implementation of type theory, suitable for experimentation
voila/pbt
Property Based Testing (Talk)
voila/task.js
Beautiful concurrency for JavaScript
voila/sweet.js
Sweeten your JavaScript.
voila/racket-examples
Explainer for Racket homepage examples
voila/ocaml.org
Website for the OCaml community.
voila/racket
The Racket repository
voila/tryocaml
An interactive tutorial to begin learning with OCaml
voila/jonesforth
Just a backup of the very nice Richard W.M. Jones Forth interpreter
voila/nathans_university
Public repository.
voila/mes-notes
Public repository.