gyfarkas Goto Github PK

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.

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

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

gyfarkas.github.io

my page

haskellspritekit

Haskell binding to Apple's SpriteKit framework

haskelltextanalysis

Tf-Idf, Cosine similarity and a webapp for document ranking based on word relevance

hedis

A Redis client library for Haskell.

hgraphstorage

Graph database in Haskell

httprepl.el

An HTTP REPL for Emacs

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.

ledgertheory

leveldb-haskell

Haskell bindings to LevelDB (http://leveldb.googlecode.com)

linqtodax

linq provider for ssas tabular dax lanquage

lisp-in-small-pieces

mirror of the source code from http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html

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.

paip

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp