Pinned Repositories
HaskAl
A collection of Data Structures and Algorithms written in Haskell.
HasTEE
HasTEE⁺ - Haskell DSL for programming TEEs
okasaki
A Haskell Collections library. [WIP]
provenance
Bottom up dynamic programming in Haskell
snape
A distributed scheduler. [WIP]
streamly
High performance, concurrent functional programming abstractions
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
distributed-process
Cloud Haskell core library
ocaml-multicore
Multicore OCaml
SynchronVM
A virtual machine for microcontrollers.
Abhiroop's Repositories
Abhiroop/okasaki
A Haskell Collections library. [WIP]
Abhiroop/HasTEE
HasTEE⁺ - Haskell DSL for programming TEEs
Abhiroop/Abhiroop.github.io
My personal site
Abhiroop/ghc-trusted
The GHC Trusted RTS for Intel SGX
Abhiroop/trestor-core
An efficient, distributed, cryptographically secured protocol.
Abhiroop/wam
wasm abstract machine
Abhiroop/c2c
Compiling to capability machines
Abhiroop/chalmersfp.github.io
Sources for the website of the Chalmers FP group
Abhiroop/channels
Channels
Abhiroop/cml
CML
Abhiroop/CML_benchmarks
The code and other assorted files pertaining to my attempts to benchmark parallel Concurrent ML processing in a handful of languages
Abhiroop/confidential-computing-zoo
Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.
Abhiroop/ethereum-client-haskell
Abhiroop/Euterpea2
Euterpea version 2
Abhiroop/eval
Evaluators
Abhiroop/hask-hello
Abhiroop/haskell-wasm
Haskell WebAssembly Toolkit
Abhiroop/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Abhiroop/hip
A heap visualisation tool
Abhiroop/HsPaillier
Simple Paillier cryptosystem
Abhiroop/kam
Learning about KAM
Abhiroop/MicroHs
Tiny functional language implemented with combinators
Abhiroop/min-caml
moved from https://sourceforge.net/p/min-caml/code/
Abhiroop/msgpack-haskell
Haskell implementation of MessagePack / msgpack.org[Haskell]
Abhiroop/operational
Big step operational semantics of HasTEE
Abhiroop/purescript
A strongly-typed language that compiles to JavaScript
Abhiroop/qc-ifc
QuickCheck IFC
Abhiroop/sgx-papers
A list of system papers using/about Intel SGX
Abhiroop/software-foundations
Abhiroop/spec
WebAssembly specification, reference interpreter, and test suite.