folone/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Developer Profile
folone
Discovered public repositories for folone in the GitHub catalog.
folone/typelevel-computations
Public repository.
folone/macros-playground
Experiments with macros
folone/2013-scalaeXchange
Source code for "There's a prolog in your Scala!" presentation at Scala eXchange conference 2013.
folone/Idris-dev
A Dependently Typed Functional Programming Language
folone/banana-rdf
Banana RDF
folone/shapeless-workshop-paris
Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013
folone/extreme-play
Extreme play!
folone/platform
Advanced Analytics Engine for NoSQL Data
folone/up
Source code for a series of articles on type-level programming in Scala
folone/soundcloud-challenge
Public repository.
folone/typelevel-activator.g8
giter8 template for typelevel.scala projects
folone/scala
The Scala programming language
folone/abstract-nonesense
Unifying my for-fun useless projects under one hood.
folone/free.scala
Port of Haskell's free package to Scala
folone/typelevel-activator
REPL setup for the typelevel.scala projects
folone/pylude
fork of pylude by @tmorris (https://code.google.com/p/pylude/)
folone/leonhardeuler-plugin
Jenkins Leonhard Euler plugin
folone/scalaz
An extension to the core scala library.
folone/scalaz-talk-berlin
Materials for scalaz talk on April 17
folone/sf-building
An attempt to compile and generate docs from Benjamin Pierce's "Software Foundations"
folone/scala-ref-markdown
An effort to convert the Scala Language Reference into pandoc markdown
folone/scala-notebook
Interactive Scala REPL in a browser
folone/funclub-words
Public repository.
folone/dotfiles
Personal home directory config
folone/shapeless
An exploration of generic/polytypic programming in Scala
folone/scalacheck
A powerful tool for automatic unit testing
folone/emacs-scalaz-unicode-input-method
Easy typing of Unicode symbols in Emacs, tailored for Scala sources, that make use of scalaz library
folone/DDL-comparer
Compares ddl's, checks if they are equivalent
folone/type-level-birds
Type-level encoding of Combinator Birds in Scala.
folone/lift-squeryl-scalaz-demo
Lift and scalaz
folone/roy-maven-plugin
Maven plugin for compiling roy files while performing maven build.
folone/roy-mode
Roy mode for emacs
folone/poi.scala
Scala library for creating and manipulating Excel documents
folone/nyan-mode
Nyan Cat for Emacs! Nyanyanyanyanyanyanyanyanyan!
folone/.emacs.d
My emacs settings (deprecated in favour of spacemacs: https://github.com/syl20bnr/spacemacs)
folone/projecteuler
some code for project euler tasks (not always correct)
folone/juick-psto-bnw-nya
Doubleposter bot
folone/Android-REPL-core
Android app for REPLs
folone/ADB-Shell-REPL-Module
Service for REPL-core, implementing ADB Shell.
folone/BeanShell-REPL-Module
BeanShell eval-service for the REPL app. It works only with the REPL app (you can find it in android market).
folone/Brainfuck-REPL-module
Brainfuck eval-service for the REPL app. It works only with the REPL app (you can find it in android market).
folone/Scheme-REPL-module
Scheme eval-service for the REPL app. It works only with the REPL app (you can find it in android market).
folone/folone.github.com
My homepage.