Gyorgy Farkas's repositories
banana-rdf
Banana RDF
csp-solver-scala
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.
CV
my resume
DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
dogs
data structures for pure functional programming in scala. see the completely incomplete documentation website:
dotfiles
common dotfiles, configs
emacs-scala-mode
The definitive scala-mode for emacs
ensime-emacs
ENhanced Scala Interaction Mode for Emacs
ensime-sbt
Generates .ensime config files for SBT projects
ensime-server
ENSIME JVM Process
escher-elisp
emacs lisp escher client
gyfarkas.github.io
my page
HaskellSpriteKit
Haskell binding to Apple's SpriteKit framework
hedis
A Redis client library for Haskell.
HGraphStorage
Graph database in Haskell
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
leveldb-haskell
Haskell bindings to LevelDB (http://leveldb.googlecode.com)
lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
matryoshka
Generalized recursion schemes and traversals for Scala.
rdf4h
rdf4h is a library for working with RDF in Haskell
restclient.el
HTTP REST client tool for emacs
scalogno
prototyping logic programming in Scala
scio
A Scala API for Google Cloud Dataflow and Apache Beam
shapeless-for-mortals
:sparkles: Workshop material for the Scala eXchange 2015 talk "Shapeless for Mortals"
software-foundations
Software Foundations in Idris
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)