pbl64k/gpif-idris pbl64k/gpif-idris

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language Idris
  • License
    Other
  • Created over 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pbl64k/gpif-idris
github

pbl64k

Reviews

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

Repository Details

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

More Repositories

1

coursera-progfun-faqs

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

CodeSprints

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

ShenzhenIO-Turing

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

gpif-datakinds

Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
Haskell
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