• Stars
    star
    1
  • Language
    CSS
  • Created almost 11 years ago
  • Updated almost 11 years ago

Reviews

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

Repository Details

An email client using php and gmail atom feed.

More Repositories

1

okasaki

A Haskell Collections library. [WIP]
Haskell
14
star
2

HaskAl

A collection of Data Structures and Algorithms written in Haskell.
Haskell
5
star
3

HasTEE

HasTEE⁺ - Haskell DSL for programming TEEs
Haskell
3
star
4

snape

A distributed scheduler. [WIP]
Haskell
2
star
5

provenance

Bottom up dynamic programming in Haskell
Haskell
2
star
6

homebrew-eta

A homebrew formulae for our very favorite language - Eta.
Ruby
1
star
7

nesl

Nested Data Parallelism
C
1
star
8

Ontology

A graphical ontology
Java
1
star
9

fiboheap

A purely functional implementation of a Fibonacci Heap
Haskell
1
star
10

polynomial

SIMD based polynomial evaluation
Haskell
1
star
11

opto

Modular Profunctor Optics in Haskell
Haskell
1
star
12

core

Parsing Haskell Core.
Haskell
1
star
13

Pearls

Pearls of Functional Algorithmic Design
Haskell
1
star
14

wam

wasm abstract machine
Haskell
1
star
15

ccc

Correct by Construction Compilers.
Haskell
1
star
16

ghc-trusted

The GHC Trusted RTS for Intel SGX
Haskell
1
star
17

Haskell-Bookmarks

Too much interesting haskell stuff on the web. Difficult to keep track so posting all of that here
1
star
18

trestor-core

An efficient, distributed, cryptographically secured protocol.
C#
1
star
19

lift-vector

Vector data types and polymorphic SIMD functions for Haskell
Haskell
1
star
20

MiniTriangle

A simple imperative language written in Haskell as part of the course G53CMP.
Haskell
1
star
21

BlockingQueue

A distributed blocking queue written using Erlang style processes and messaging passing concurrency in Cloud Haskell.
Haskell
1
star
22

ReactiveML

OCaml extended with synchronous prorgramming
OCaml
1
star
23

Abhiroop.github.io

My personal site
HTML
1
star