• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

Correct by Construction Compilers.

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

email_li8

An email client using php and gmail atom feed.
CSS
1
star
9

Ontology

A graphical ontology
Java
1
star
10

fiboheap

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

polynomial

SIMD based polynomial evaluation
Haskell
1
star
12

opto

Modular Profunctor Optics in Haskell
Haskell
1
star
13

core

Parsing Haskell Core.
Haskell
1
star
14

Pearls

Pearls of Functional Algorithmic Design
Haskell
1
star
15

wam

wasm abstract machine
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