Anthony Cowley (acowley)

acowley

Geek Repo

Location:Philadelphia, PA, USA

Github PK Tool:Github PK Tool

Anthony Cowley's repositories

Frames

Data frames for tabular data.

Language:HaskellLicense:NOASSERTIONStargazers:295Issues:18Issues:124

ffmpeg-light

Minimal Haskell bindings to the FFmpeg library

Language:HaskellLicense:BSD-3-ClauseStargazers:66Issues:8Issues:42

dotfiles

Configuration files (.emacs)

concurrent-machines

Concurrency features for the Haskell machines package

Language:HaskellLicense:BSD-3-ClauseStargazers:17Issues:7Issues:7

wgsl-mode

Emacs syntax highlighting for the WebGPU Shading Language (WGSL)

Language:Emacs LispLicense:GPL-3.0Stargazers:17Issues:3Issues:2

LinearLogic

A simple development of linear logic in Coq.

Language:CoqStargazers:11Issues:6Issues:0

hpp

hpp - A Haskell Preprocessor

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:4Issues:3

yaml-light-lens

Lenses for working with YAML data.

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:4Issues:1

emacs-lsp-booster-nix

Nix flake for the emacs-lsp-booster program

Language:NixStargazers:5Issues:1Issues:0

nixos-rocm

NixOS support for the ROCm graphics stack (rocm.github.io)

Language:NixLicense:NOASSERTIONStargazers:3Issues:5Issues:0

wgsl-ts-mode

WGSL tree-sitter support for emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:3Issues:2Issues:1

mastodon_digest

A Python script that aggregates recent popular posts from your Mastodon timeline

Language:PythonLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0
Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

bazel_rules

Useful bazel rules

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

clip2org

Convert Amazon Kindle's "My Clippings.txt" to a format usable in Org mode

Language:Emacs LispStargazers:0Issues:2Issues:0

Frames-streamly

streamly based Frames I/O, etc.

Language:HTMLLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

gfx

A low-overhead Vulkan-like GPU API for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

gtsam

GTSAM is a library of C++ classes that implement smoothing and mapping (SAM) in robotics and vision, using factor graphs and Bayes networks as the underlying computing paradigm rather than sparse matrices.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

my-emacs

Emacs package set using nix

Language:NixStargazers:0Issues:3Issues:0

naga

Universal shader translation in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0

nix-ros-overlay

ROS overlay for the Nix package manager

Language:NixLicense:Apache-2.0Stargazers:0Issues:2Issues:0

nix-templates

Nix flake templates

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nixGL

A wrapper tool for nix OpenGL application

Language:NixStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:3Issues:0

org-clock-reminder

Emacs package to remind you current clocking task or its absence

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0
Language:StarlarkLicense:Apache-2.0Stargazers:0Issues:1Issues:0

wgpu

Native WebGPU implementation based on gfx-hal

Language:RustLicense:Apache-2.0Stargazers:0Issues:2Issues:0