Pinned Repositories
accelerate
Embedded language for high-performance array computations
accelerate-llvm
LLVM backend for Accelerate
acp-spec
Agent Connect Protocol Specification
alpaca-backtrader-api
Alpaca Trading API integrated with backtrader
analyze
making data science easy and safe with data frames in haskell
andrewdmeier.github.io
ApplicationSets
Scripts to set up PicoCluster and install various Applications Set on the cluster.
argon
Monitor cyclomatic complexity in Haskell programs
astar-monad
A smart A* search monad transformer which supports backtracking user-state!
libhermit
HermitCore: A C-based, lightweight unikernel
andrewdmeier's Repositories
andrewdmeier/accelerate
Embedded language for high-performance array computations
andrewdmeier/astar-monad
A smart A* search monad transformer which supports backtracking user-state!
andrewdmeier/asterius
A Haskell to WebAssembly compiler
andrewdmeier/cardano-base
Code used throughout the Cardano eco-system
andrewdmeier/cardano-ledger
A re-implementation of the Cardano ledger layer, replacing the Byron release
andrewdmeier/cardano-shell
Node shell, a thin layer for running the node and it's modules.
andrewdmeier/clutrr
Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language
andrewdmeier/contrail-analytics
andrewdmeier/elasticsearch-learning-to-rank
Plugin to integrate Learning to Rank (aka machine learning for better relevance) with Elasticsearch
andrewdmeier/enso
Hybrid textual and visual functional programming.
andrewdmeier/futureofcoding.org
andrewdmeier/hazel
Hazel, a live functional programming environment with typed holes
andrewdmeier/horovod
Distributed training framework for TensorFlow, Keras, PyTorch, and Apache MXNet.
andrewdmeier/hw-json-standard-cursor
andrewdmeier/hw-kafka-client
Kafka client for Haskell, including auto-rebalancing consumers
andrewdmeier/ion
Mirror of https://gitlab.redox-os.org/redox-os/ion
andrewdmeier/javascript
JavaScript Style Guide
andrewdmeier/juvix
A more elegant language for a more civilized age.
andrewdmeier/lamdu
lamdu - towards the next generation IDE
andrewdmeier/lamdu-calculus
An extended typed Lambda Calculus
andrewdmeier/minigo
An open-source implementation of the AlphaGoZero algorithm
andrewdmeier/plutus
The Plutus language implementation and tools
andrewdmeier/reactos
A free Windows-compatible Operating System
andrewdmeier/Rocket
A web framework for Rust.
andrewdmeier/rust
Empowering everyone to build reliable and efficient software.
andrewdmeier/semantic
Parsing, analyzing, and comparing source code across many languages
andrewdmeier/sk-dist
Distributed scikit-learn meta-estimators in PySpark
andrewdmeier/SourceGraph
Static code analysis using graph-theoretic techniques
andrewdmeier/syntax-tree
Higher-Kinded Data all the way down!
andrewdmeier/yesod-cookbook
Cookbook documentation