- Tampa, Florida, USA
-
10:26
(UTC -04:00)
Block or Report
Block or report Matthew-Mosior
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
fasta-region-inspector Public
A bioinformatics tool for analyzing somatic hypermutation
-
granule Public
Forked from granule-project/granuleA statically-typed linear functional language with graded modal types for fine-grained program reasoning
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 5, 2024 -
agda-base Public
Forked from berndlosert/agda-baseA base library for Agda for regular programming
Agda UpdatedDec 16, 2023 -
-
idris2-bytestring Public
Forked from stefan-hoeck/idris2-bytestringImmutable byte vectors in Idris2.
Idris BSD 3-Clause "New" or "Revised" License UpdatedOct 24, 2023 -
Advent-of-Code-2016 Public
-
idris2-rio Public
Forked from stefan-hoeck/idris2-rioA simple, stack-safe effect system based on the RIO Monad
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 23, 2023 -
-
-
-
vulkan Public
Forked from expipiplus1/vulkanHaskell bindings for Vulkan
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 19, 2023 -
text-compression Public
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJan 30, 2023 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJan 27, 2023 -
brick Public
Forked from jtdaugherty/brickA declarative Unix terminal UI programming library written in Haskell
Haskell Other UpdatedJan 18, 2023 -
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 th…
Haskell Other UpdatedJan 18, 2023 -
csv-parser Public
Forked from wchresta/csv-parserSimple CSV parser in Idris2
Idris MIT License UpdatedJan 14, 2023 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 9, 2023 -
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Haskell Other UpdatedJan 9, 2023 -
copilot Public
Forked from Copilot-Language/copilotA stream-based runtime-verification framework for generating hard real-time C code.
Haskell UpdatedJan 8, 2023 -
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJan 3, 2023 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Haskell MIT License UpdatedDec 1, 2022 -
idris2-elynx-seq Public
Idris (Idris2) port of the Haskell elynx-seq library.
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 22, 2022 -
Flood-Fill-Diagrams Public
A Haskell based implementation and visualization of a scanline stack based flood fill algorithm.
-
-
Filtering-Analysis-Tool Public
A Haskell script that takes in a tab-delimited file and provides an in depth view of a user-defined filtering scheme.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 27, 2021 -
idris2-biofasta Public
Idris (Idris2) port of the Haskell biofasta library.
Idris BSD 3-Clause "New" or "Revised" License UpdatedMay 6, 2021 -
idris2-biocore Public
Idris (Idris2) port of the Haskell biocore library.
Idris BSD 3-Clause "New" or "Revised" License UpdatedMay 6, 2021