Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by Abhiroop

A curated list of projects in awesome lists by Abhiroop .

https://github.com/abhiroop/okasaki

A Haskell Collections library. [WIP]

algorithms data-structures functional-programming haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/haskal

A collection of Data Structures and Algorithms written in Haskell.

algorithms data-structures haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/hastee

HasTEE⁺ - Haskell DSL for programming TEEs

Last synced: 24 Nov 2024

https://github.com/abhiroop/snape

A distributed scheduler. [WIP]

distributed-computing haskell parallel-computing

Last synced: 24 Nov 2024

https://github.com/abhiroop/provenance

Bottom up dynamic programming in Haskell

dynamic-programming haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/core

Parsing Haskell Core.

Last synced: 24 Nov 2024

https://github.com/abhiroop/email_li8

An email client using php and gmail atom feed.

Last synced: 24 Nov 2024

https://github.com/abhiroop/reactiveml

OCaml extended with synchronous prorgramming

Last synced: 24 Nov 2024

https://github.com/abhiroop/ontology

A graphical ontology

Last synced: 24 Nov 2024

https://github.com/abhiroop/haskell-bookmarks

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

haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/nesl

Nested Data Parallelism

Last synced: 24 Nov 2024

https://github.com/abhiroop/homebrew-eta

A homebrew formulae for our very favorite language - Eta.

Last synced: 24 Nov 2024

https://github.com/abhiroop/pearls

Pearls of Functional Algorithmic Design

algorithm data-structures haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/blockingqueue

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

concurrency distributed-systems erlang haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/opto

Modular Profunctor Optics in Haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/minitriangle

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

Last synced: 24 Nov 2024

https://github.com/abhiroop/abhiroop.github.io

My personal site

Last synced: 24 Nov 2024

https://github.com/abhiroop/fiboheap

A purely functional implementation of a Fibonacci Heap

Last synced: 24 Nov 2024

https://github.com/abhiroop/polynomial

SIMD based polynomial evaluation

Last synced: 24 Nov 2024

https://github.com/abhiroop/ccc

Correct by Construction Compilers.

Last synced: 24 Nov 2024

https://github.com/abhiroop/trestor-core

An efficient, distributed, cryptographically secured protocol.

Last synced: 24 Nov 2024

https://github.com/abhiroop/wam

wasm abstract machine

webassembly

Last synced: 24 Nov 2024

https://github.com/abhiroop/repa-experiments

Experiments with Repa

Last synced: 24 Nov 2024

https://github.com/abhiroop/c2c

Compiling to capability machines

Last synced: 24 Nov 2024

https://github.com/abhiroop/geofunc

Functional Geometry

Last synced: 24 Nov 2024

https://github.com/abhiroop/qc-ifc

QuickCheck IFC

Last synced: 24 Nov 2024

https://github.com/abhiroop/operational

Big step operational semantics of HasTEE

Last synced: 24 Nov 2024

https://github.com/abhiroop/solidity-contracts

This repo contains all the solidity contracts that I have created

Last synced: 24 Nov 2024

https://github.com/abhiroop/hask-hello

Last synced: 24 Nov 2024

https://github.com/abhiroop/wishlist

A wishlist made on backbone.js and zeptos.js It provides recommendation based on the items in the wish list.

Last synced: 24 Nov 2024

https://github.com/abhiroop/ndp

NDP and SPMD on CPU. Experimental.

Last synced: 24 Nov 2024

https://github.com/abhiroop/bayes

Probabilistic Programming

Last synced: 24 Nov 2024

https://github.com/abhiroop/hashtable

A Hash Table for your kids

Last synced: 24 Nov 2024

https://github.com/abhiroop/eta-formulae

A homebrew formulae for our very favorite language- Eta.

Last synced: 24 Nov 2024

https://github.com/abhiroop/ir

Collecting resources for intermediate representations to enable auto vectorization

Last synced: 24 Nov 2024

https://github.com/abhiroop/lift-vector

Vector data types and polymorphic SIMD functions for Haskell

haskell parallel-programming performance vectorization

Last synced: 24 Nov 2024

https://github.com/abhiroop/haskell-first-principle

Working my way through the Haskell book

Last synced: 24 Nov 2024

https://github.com/abhiroop/h99

Ninety-Nine Haskell Problems; https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems

algorithms haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/hip

A heap visualisation tool

Last synced: 24 Nov 2024

https://github.com/abhiroop/hadoop_data_mining

Distributed Data Mining for astronomical data.

Last synced: 24 Nov 2024

https://github.com/abhiroop/frp-ex

Attempt to implement Koen's challenge with arrows

Last synced: 24 Nov 2024

https://github.com/abhiroop/grisp_template

Rebar template for grisp deployment

Last synced: 24 Nov 2024

https://github.com/abhiroop/funicular

Automatically exported from code.google.com/p/funicular

Last synced: 24 Nov 2024

https://github.com/abhiroop/ghc

Experiments with ghc

Last synced: 24 Nov 2024

https://github.com/abhiroop/ghc2

Last synced: 24 Nov 2024

https://github.com/abhiroop/fstar

playground for fstar

Last synced: 24 Nov 2024

https://github.com/abhiroop/eval

Evaluators

Last synced: 24 Nov 2024

https://github.com/abhiroop/discrete-maths

Solutions to the book Discrete Maths using a Computer

discrete-mathematics haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/concurrence

Contains solutions to classic problems in Concurrency

Last synced: 24 Nov 2024

https://github.com/abhiroop/eta-test

Experimenting with Literate Haskell and Pandoc using Eta

Last synced: 24 Nov 2024

https://github.com/abhiroop/free-monad-tuple

Implement a Haskell EDSL for tuple spaces

Last synced: 24 Nov 2024

https://github.com/abhiroop/disclojure

Concurrent data structures for humans.

Last synced: 24 Nov 2024

https://github.com/abhiroop/clean

The Clean programming language

Last synced: 24 Nov 2024

https://github.com/abhiroop/emacs-dotfiles

My emacs configuration.

Last synced: 24 Nov 2024

https://github.com/abhiroop/dynhaskell

A collection of dynamic programming problems in Haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/cml

CML

Last synced: 24 Nov 2024

https://github.com/abhiroop/dotfiles

Spacemacs dotfiles

Last synced: 24 Nov 2024

https://github.com/abhiroop/downstream_processing

An industrial simulation of the downstream process.

Last synced: 24 Nov 2024

https://github.com/abhiroop/core-erlang

Core Erlang

Last synced: 24 Nov 2024

https://github.com/abhiroop/conc-tree

An implicitly parallel data structure

haskell parallel-programming

Last synced: 24 Nov 2024

https://github.com/abhiroop/c0c

A chat client capable of simple computations

Last synced: 24 Nov 2024

https://github.com/abhiroop/ghc-trusted

The GHC Trusted RTS for Intel SGX

Last synced: 24 Nov 2024

https://github.com/abhiroop/calculation

More explorations in automating program calculation in Agda

Last synced: 24 Nov 2024

https://github.com/abhiroop/skeletor

Algorithmic skeletons for parallelization in Haskell

arrays haskell-library parallel-computing parallel-programming

Last synced: 24 Nov 2024

https://github.com/abhiroop/chat

A simple multithreaded chat server written in Haskell using STM

haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/chatter

A chat server written in Java.

Last synced: 24 Nov 2024

https://github.com/abhiroop/cps

Continuation Passing Style

Last synced: 24 Nov 2024

https://github.com/abhiroop/calculator

A calculator application in Haskell

haskell parser-combinators

Last synced: 24 Nov 2024

https://github.com/abhiroop/agda-experiments

Experiments with Agda

agda

Last synced: 24 Nov 2024

https://github.com/abhiroop/c-3

Calculating correct compilers with Idris

Last synced: 24 Nov 2024

https://github.com/abhiroop/bamboo_search

A machine learning tool for evolving a new generation search engine.

Last synced: 24 Nov 2024

https://github.com/abhiroop/agent

A proxy server with service discovery integration and monitoring.

distributed-systems haskell service-discovery

Last synced: 24 Nov 2024

https://github.com/abhiroop/channels

Channels

Last synced: 24 Nov 2024

https://github.com/abhiroop/mezzolens

The mezzolens library by Russel O'Connor

haskell lens

Last synced: 24 Nov 2024

https://github.com/abhiroop/sentiment_analysis

A simple sentiment analyzer for an intelli restaurant app.

Last synced: 24 Nov 2024

https://github.com/abhiroop/reactome-search

Search engine for reactome

Last synced: 24 Nov 2024

https://github.com/abhiroop/playwithrust

Learning Rust by doing.

Last synced: 24 Nov 2024

https://github.com/abhiroop/lucid

Lucid Programming Language

Last synced: 24 Nov 2024

https://github.com/abhiroop/regex-posix

Eta port of Haskell's regex-posix

eta haskell haskell-library

Last synced: 24 Nov 2024

https://github.com/abhiroop/orca

Orca was used to program old Transputer devices

Last synced: 24 Nov 2024

https://github.com/abhiroop/practiseclojure

This repo is for storing all kind of practise scripts I am writing while learning clojure

Last synced: 24 Nov 2024

https://github.com/abhiroop/lambda

A Lisp dialect implementing basic CSP primitives.

Last synced: 24 Nov 2024

https://github.com/abhiroop/recur-scheme

Repository for experimenting with various types of recursion schemes.

haskell recursion-schemes

Last synced: 24 Nov 2024

https://github.com/abhiroop/kam

Learning about KAM

Last synced: 24 Nov 2024

https://github.com/abhiroop/papers

Papers read during PhD

Last synced: 24 Nov 2024

https://github.com/abhiroop/parallel

Everything parallel and concurrent in Haskell.

Last synced: 24 Nov 2024

https://github.com/abhiroop/minitriangletc

Mini Triangle enhanced with the typechecker and runtime

haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/real-world-haskell

Practise ground for RWH book, Haskell book and other new concepts

haskell

Last synced: 24 Nov 2024

https://github.com/abhiroop/mu-feldspar

Experiments with feldspar

Last synced: 24 Nov 2024

https://github.com/abhiroop/llvm-exp

Experiments with llvm and hardware

Last synced: 24 Nov 2024