Abhiroop/Ontology

Stars
1
Language
Java
Created over 11 years ago
Updated over 11 years ago

Abhiroop/Ontology

Abhiroop

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

A graphical ontology

okasaki

A Haskell Collections library. [WIP]

HaskAl

A collection of Data Structures and Algorithms written in Haskell.

HasTEE

HasTEE⁺ - Haskell DSL for programming TEEs

snape

A distributed scheduler. [WIP]

provenance

Bottom up dynamic programming in Haskell

homebrew-eta

A homebrew formulae for our very favorite language - Eta.

nesl

Nested Data Parallelism

email_li8

An email client using php and gmail atom feed.

fiboheap

A purely functional implementation of a Fibonacci Heap

polynomial

SIMD based polynomial evaluation

opto

Modular Profunctor Optics in Haskell

core

Parsing Haskell Core.

Pearls

Pearls of Functional Algorithmic Design

wam

wasm abstract machine

ccc

Correct by Construction Compilers.

ghc-trusted

The GHC Trusted RTS for Intel SGX

Haskell-Bookmarks

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

trestor-core

An efficient, distributed, cryptographically secured protocol.

lift-vector

Vector data types and polymorphic SIMD functions for Haskell

MiniTriangle

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

BlockingQueue

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

ReactiveML

OCaml extended with synchronous prorgramming

Abhiroop.github.io

My personal site