Pinned Repositories
agda-software-foundations
Porting of software foundations book to Agda
banana-rdf
Banana RDF
core.logic-koans
Learn core.logic with koans!
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.
csvScheme
CV
my resume
DaxTypeProvider
F# TypeProvider for SSAS tabular
DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
linqtodax
linq provider for ssas tabular dax lanquage
gyfarkas's Repositories
gyfarkas/banana-rdf
Banana RDF
gyfarkas/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.
gyfarkas/csvScheme
gyfarkas/CV
my resume
gyfarkas/DeepLearningTutorials
Deep Learning Tutorial notes and code. See the wiki for more info.
gyfarkas/dogs
data structures for pure functional programming in scala. see the completely incomplete documentation website:
gyfarkas/dotfiles
common dotfiles, configs
gyfarkas/emacs-scala-mode
The definitive scala-mode for emacs
gyfarkas/ensime-emacs
ENhanced Scala Interaction Mode for Emacs
gyfarkas/ensime-sbt
Generates .ensime config files for SBT projects
gyfarkas/ensime-server
ENSIME JVM Process
gyfarkas/escher-elisp
emacs lisp escher client
gyfarkas/gyfarkas.github.io
my page
gyfarkas/HaskellSpriteKit
Haskell binding to Apple's SpriteKit framework
gyfarkas/hedis
A Redis client library for Haskell.
gyfarkas/HGraphStorage
Graph database in Haskell
gyfarkas/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.
gyfarkas/ledgertheory
gyfarkas/leveldb-haskell
Haskell bindings to LevelDB (http://leveldb.googlecode.com)
gyfarkas/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.
gyfarkas/matryoshka
Generalized recursion schemes and traversals for Scala.
gyfarkas/rdf4h
rdf4h is a library for working with RDF in Haskell
gyfarkas/restclient.el
HTTP REST client tool for emacs
gyfarkas/rxjava-workshop
gyfarkas/scalafold
implementing composable fold
gyfarkas/scalogno
prototyping logic programming in Scala
gyfarkas/scio
A Scala API for Google Cloud Dataflow and Apache Beam
gyfarkas/shapeless-for-mortals
:sparkles: Workshop material for the Scala eXchange 2015 talk "Shapeless for Mortals"
gyfarkas/software-foundations
Software Foundations in Idris
gyfarkas/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)