shabesoglu Goto Github PK

goqt

Golang bindings to the Qt cross-platform application framework.

grailsort

Stable In-place sorting in O(n*log(n)) worst time

graphmaker

College project that never died

grenade

Practical Deep Learning in Haskell

guice

Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 6 and above, brought to you by Google.

guide-me

haskanoid

A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.

haskell

Haskell bindings for TensorFlow

haskell-1

Exercism exercises in Haskell.

haskell-opencv

Haskell binding to OpenCV-3.x

haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

haxl-icfp14-sample-code

Sample code to accompany the paper "There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access", ICFP'14

heap.cr

data structure heap for crystal-lang

helm

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

heroku-buildpack-racket

a Heroku buildpack for deploying apps written in Racket

high-scale-lib

A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.

hott

Homotopy type theory

hound

Elixir library for writing integration tests and browser automation

hs-webdriver

A Haskell client for the Selenium WebDriver protocol.

http-backend-proxy

A proxy that allows configuring the ngMockE2E $httpBackend service from within protractor based tests.

http-backend-proxy-master-modified

idris-containers

Various data structures for use in the Idris Language.

idris-demos

Collection of Idris tests and demonstration programs

idris-dev

A Dependently Typed Functional Programming Language

idris-hamt

Idris Hash Array Mapped Trie

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

idris-jvm

JVM bytecode backend for Idris

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.

idris-yampa

Idris implementation of Yampa FRP library as described in Reactive Programming through Dependent Types. WIP

idrisexperiments