Abhiroop/HasTEE Abhiroop/HasTEE

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 2 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Abhiroop/HasTEE
github

Abhiroop

Reviews

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

Repository Details

HasTEE⁺ - Haskell DSL for programming TEEs

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

snape

A distributed scheduler. [WIP]
Haskell
2
star
4

provenance

Bottom up dynamic programming in Haskell
Haskell
2
star
5

homebrew-eta

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

nesl

Nested Data Parallelism
C
1
star
7

email_li8

An email client using php and gmail atom feed.
CSS
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