Abhiroop/ghc-trusted Abhiroop/ghc-trusted

  • Stars
    star
    1
  • Language
    Haskell
  • License
    Other
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Abhiroop/ghc-trusted
github

Abhiroop

Reviews

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

Repository Details

The GHC Trusted RTS for Intel SGX

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

ccc

Correct by Construction Compilers.
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