Matthew-Mosior
Graduate of Bioinformatics and Computational Biology Program at SLU. I enjoy elucidating and applying algorithms and any thought provoking programming.
Tampa, Florida, USA
Pinned Repositories
Advent-of-Code-2016
Basic-Variant-Parser
A Haskell script that performs basic parsing on the default output of ensembl-vep and variant-calling format (vcf) files.
fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
Flood-Fill-Diagrams
A Haskell based implementation and visualization of a scanline stack based flood fill algorithm.
gloss-raster-massiv
HS-Pac-Man
A Haskell Pac-Man clone.
hs-samtools
SeuratR---Docker
text-compression
yesod-static-streamly
Matthew-Mosior's Repositories
Matthew-Mosior/fasta-region-inspector
A bioinformatics tool for analyzing somatic hypermutation
Matthew-Mosior/text-compression
Matthew-Mosior/Flood-Fill-Diagrams
A Haskell based implementation and visualization of a scanline stack based flood fill algorithm.
Matthew-Mosior/hs-samtools
Matthew-Mosior/Advent-of-Code-2016
Matthew-Mosior/HS-Pac-Man
A Haskell Pac-Man clone.
Matthew-Mosior/gloss-raster-massiv
Matthew-Mosior/yesod-static-streamly
Matthew-Mosior/Advent-of-Code-2017
Advent of Code 2017 using Koka lang.
Matthew-Mosior/Advent-of-Code-2019
Matthew-Mosior/agda
Agda is a dependently typed programming language / interactive theorem prover.
Matthew-Mosior/agda-base
A base library for Agda for regular programming
Matthew-Mosior/agda-stdlib
The Agda standard library
Matthew-Mosior/agda2hs
Compiling Agda code to readable Haskell
Matthew-Mosior/brick
A declarative Unix terminal UI programming library written in Haskell
Matthew-Mosior/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Matthew-Mosior/csv-parser
Simple CSV parser in Idris2
Matthew-Mosior/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).
Matthew-Mosior/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Matthew-Mosior/Idris2
A purely functional programming language with first class types
Matthew-Mosior/idris2-async
Asynchronous and concurrent computations in Idris2
Matthew-Mosior/idris2-bytestring
Immutable byte vectors in Idris2.
Matthew-Mosior/idris2-containers
Assorted concrete container types
Matthew-Mosior/idris2-elynx-seq
Idris (Idris2) port of the Haskell elynx-seq library.
Matthew-Mosior/idris2-pack
Matthew-Mosior/idris2-rio
A simple, stack-safe effect system based on the RIO Monad
Matthew-Mosior/koka
Koka language compiler and interpreter
Matthew-Mosior/lean4
Lean 4 programming language and theorem prover
Matthew-Mosior/Servant-Image-Server
Matthew-Mosior/vulkan
Haskell bindings for Vulkan