pbl64k/gpif-datakinds pbl64k/gpif-datakinds

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    BSD 2-Clause "Sim...
  • Created about 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pbl64k/gpif-datakinds
github

pbl64k

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!

More Repositories

1

gpif-idris

Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Idris
14
star
2

coursera-progfun-faqs

Community FAQs for Functional Programming Principles in Scala class on Coursera.
Scala
8
star
3

CodeSprints

My submissions for interviewstreet.com CodeSprints.
C++
8
star
4

ShenzhenIO-Turing

Betelgeuse 9900, a universal programmable microcomputer running inside Shenzhen I/O, a puzzle game by Zachtronics.
7
star
5

icfpc2014

1st place solution (main round) in ICFPC 2014.
Scheme
6
star
6

coursera-proglang-practice

Practice problems for Programming Languages class on Coursera.
Standard ML
4
star
7

HackerRank-Contests

My submissions for HackerRank contests.
Haskell
3
star
8

decision-tree-builder

A simple JS UI for creating decision trees.
JavaScript
2
star
9

recscheme

Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)
Haskell
1
star
10

icfpc2016

My, erm... my "solution" for the 2016 ICFP programming contest.
Haskell
1
star
11

chktcpport

A simple tool for checking whether a remote TCP port is open.
C
1
star
12

icfpc2012

Boulder Dash AI from ICFPC 2012.
C++
1
star
13

icfpc2015

My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
Python
1
star
14

xpath-demo

A rather silly demo of how XPath axes work.
JavaScript
1
star
15

Picoparsec

A simple combinator-based parser library, relatively expressive, but neither space- nor time-efficient.
PHP
1
star
16

COOL-CodeGen-MIPS

Generated (MIPS) code for some examples used in PA4 (codegen) of Coursera Compilers course.
Assembly
1
star
17

Schism

Schism is a small, embedded, Scheme-like Lisp, available as two interpreters written in JavaScript and PHP. JS REPL is Chrome-only.
PHP
1
star
18

lameML

Yet another lame ML library.
PHP
1
star