gyfarkas Goto Github PK
Name: Gyorgy Farkas
Type: User
Location: Budapest
Name: Gyorgy Farkas
Type: User
Location: Budapest
Porting of software foundations book to Agda
Banana RDF
Learn core.logic with koans!
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.
my resume
F# TypeProvider for SSAS tabular
Deep Learning Tutorial notes and code. See the wiki for more info.
data structures for pure functional programming in scala. see the completely incomplete documentation website:
common dotfiles, configs
The definitive scala-mode for emacs
ENhanced Scala Interaction Mode for Emacs
Generates .ensime config files for SBT projects
ENSIME JVM Process
emacs lisp escher client
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
my page
Haskell binding to Apple's SpriteKit framework
Tf-Idf, Cosine similarity and a webapp for document ranking based on word relevance
A Redis client library for Haskell.
Graph database in Haskell
An HTTP REPL for Emacs
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.
Haskell bindings to LevelDB (http://leveldb.googlecode.com)
linq provider for ssas tabular dax lanquage
mirror of the source code from http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/LiSP.html
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.
Generalized recursion schemes and traversals for Scala.
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.