aaronallen8455/decoy

Highly configurable mock server

Language: Haskell - Size: 95.7 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 3 - Forks: 0

aaronallen8455/breakpoint

Set breakpoints using a GHC plugin

Language: Haskell - Size: 95.7 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 45 - Forks: 2

aaronallen8455/donuts

A GHC plugin for loops and mutability

Language: Haskell - Size: 89.8 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 6 - Forks: 0

aaronallen8455/pinned-warnings

Preserve warnings in a GHCi session

Language: Haskell - Size: 56.6 KB - Last synced: 7 days ago - Pushed: 9 days ago - Stars: 4 - Forks: 0

aaronallen8455/orville Fork of flipstone/orville

Yet another ORM for haskell

Size: 2.05 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

aaronallen8455/inventory

Haskell project statistics and definition analysis

Language: Haskell - Size: 342 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 13 - Forks: 0

aaronallen8455/opentelemetry-auto

Open telemetry auto instrumentation using GHC plugin

Language: Haskell - Size: 67.4 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 9 - Forks: 1

aaronallen8455/tindeq-overtones

playing with a bluetooth dynamometer

Language: Rust - Size: 17.6 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

aaronallen8455/Typson

Type safe JSON PostgreSQL queries using bidirectional serializers

Language: Haskell - Size: 231 KB - Last synced: 10 days ago - Pushed: over 3 years ago - Stars: 21 - Forks: 1

aaronallen8455/aoc2023

using lean4

Language: Lean - Size: 150 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

aaronallen8455/RandomBlock

Magento 2 module that declares the "random block" widget.

Language: PHP - Size: 4.88 KB - Last synced: 7 months ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

aaronallen8455/reflex-retro

A web app for conducting team retrospectives

Language: Haskell - Size: 123 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

aaronallen8455/hi-fi

Higher kinded records plugin

Language: Haskell - Size: 428 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 12 - Forks: 0

aaronallen8455/lean-cat

Language: Lean - Size: 69.3 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

aaronallen8455/seeker

an html5 game

Language: HTML - Size: 9.84 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/optician

Generate optics with a GHC plugin

Language: Haskell - Size: 77.1 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 5 - Forks: 0

aaronallen8455/play-haskell Fork of haskell/play-haskell

Haskell Playground

Size: 646 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

aaronallen8455/summer-of-haskell Fork of haskell-org/summer-of-haskell

Source code of summer.haskell.org

Size: 1.34 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

aaronallen8455/constable

Safe interface for summarization via Const

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

aaronallen8455/aoc2022

Language: Rust - Size: 122 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

aaronallen8455/graph-trace

Trace the call graph of a Haskell program

Language: Haskell - Size: 148 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 14 - Forks: 0

aaronallen8455/named Fork of monadfix/named

Named parameters (keyword arguments) for Haskell

Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

aaronallen8455/hydraulics

Lift any pure function over any applicative stack.

Language: Haskell - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 5 - Forks: 0

aaronallen8455/reflectacon

Plugin for working with promoted data constructors

Language: Haskell - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 0

aaronallen8455/servant-reachable

Type errors for problematic routers

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

aaronallen8455/erriscope

Scope out Haskell errors in style

Language: Haskell - Size: 654 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 5 - Forks: 0

aaronallen8455/aoc2021

Haskell solutions to Advent of Code 2021

Language: Haskell - Size: 108 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

aaronallen8455/sum-totality

Totality checking for sum type producers in Haskell

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

aaronallen8455/jq-bindings

Haskell bindings to libjq using linear types.

Language: Haskell - Size: 62.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 7 - Forks: 0

aaronallen8455/math-caddy

Mathematics knowledge base web app

Language: Haskell - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

aaronallen8455/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Size: 38 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

aaronallen8455/induction-exercises

Language: Idris - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

aaronallen8455/kancepts

kan extension exploration

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

aaronallen8455/ear-trainer

Advanced intervallic ear training

Language: Haskell - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 3 - Forks: 0

aaronallen8455/jambda-reflex

Real-time music synthesis. Create beats with math expressions.

Language: Haskell - Size: 479 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

aaronallen8455/IHaskellNotebooks

A hodgepodge of concepts, mostly for my own benefit

Language: Jupyter Notebook - Size: 316 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

aaronallen8455/haddock-ghci-ppr

Language: Haskell - Size: 92.8 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

aaronallen8455/generic-uncurry

Provides an n-arity uncurry function using generics

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 1

aaronallen8455/typed-counterpoint

If your composition doesn't follow the counterpoint rules, the compiler rejects it!

Language: Idris - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

aaronallen8455/aoc2020

Advent of Code 2020 Solutions

Language: Haskell - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

aaronallen8455/stack Fork of commercialhaskell/stack

The Haskell Tool Stack

Size: 18.3 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

aaronallen8455/record-subsets

Turn a regular haskell record type into subsets of it's fields using some type level programming

Language: Haskell - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

aaronallen8455/aoc2019

Advent of Code 2019

Language: Haskell - Size: 80.1 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

aaronallen8455/xmlgen Fork of skogsbaer/xmlgen

XML generator library for Haskell

Language: Haskell - Size: 43 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/Jambda

Language: Haskell - Size: 132 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/documentation Fork of purescript/documentation

Documentation for the PureScript language, compiler, and tools.

Size: 634 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/kioku Fork of flipstone/kioku

A simple db for ingesting and indexing static datasets on disk

Language: Haskell - Size: 72.3 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/reactive-banana Fork of HeinrichApfelmus/reactive-banana

Library for functional reactive programming in Haskell.

Language: Haskell - Size: 1.68 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/web-push Fork of sarthakbagaria/web-push

Web Push library in Haskell

Language: Haskell - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/MenuBlock

Magento 2 module for inserting cms blocks and static links into the top menu

Language: PHP - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

aaronallen8455/elm-calculator

Language: JavaScript - Size: 41 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/Haskell3D

Language: Haskell - Size: 41 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/node-ffmpeg Fork of damianociarla/node-ffmpeg

ffmpeg module for nodejs

Language: JavaScript - Size: 53.7 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/ClusterMessenger

Language: JavaScript - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

aaronallen8455/PronomeMacOs

MacOs version of ProNome

Language: C# - Size: 729 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/XamFormsMapBox

Language: C# - Size: 1.1 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/XamFormsCamButton

Language: C# - Size: 1.96 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/PronomeWPF

Pronome WPF project

Language: C# - Size: 625 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/typeWrapJS

Language: JavaScript - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/xamarinFormsMapTest

Language: C# - Size: 191 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/geoscraper

Language: JavaScript - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/HaskellSudokuGen

Language: Haskell - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

aaronallen8455/CircleCLandscape

Drupal 8 site

Language: PHP - Size: 661 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

aaronallen8455/SideKick

Language: JavaScript - Size: 529 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

aaronallen8455/magento2

My ongoing magento 2 projects

Language: PHP - Size: 518 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

aaronallen8455/Layered-metronome-in-csharp

Language: C# - Size: 1.36 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

aaronallen8455/TwinkRecords

An OOP CMS framework for the twink records site

Language: PHP - Size: 298 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/MenuLink

Magento 2 module that inserts static links into the top menu.

Language: PHP - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 1

aaronallen8455/QuickMenu

Magento 2 module that makes categories with a single product link directly to that product from the navigation menu.

Language: PHP - Size: 1000 Bytes - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/NavText

Magento 2 module that prints a given string in front of the navigation menu.

Language: PHP - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/sudokube

3d sudoku

Language: JavaScript - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/pronome

advanced metronome / drum machine

Language: JavaScript - Size: 844 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

aaronallen8455/sudoku

generates sudoku puzzles

Language: JavaScript - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/3dview

a simple 3d modeler/viewport using native javascript

Language: JavaScript - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

aaronallen8455/jia

Language: PHP - Size: 328 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 1