Connor Baker (ConnorBaker)

ConnorBaker

Geek Repo

Company:@tweag

Location:Costa Mesa, CA

Home Page:https://connorbaker.github.io/ProgrammingInHaskell2ndEd/

Twitter:@connor13aker

Github PK Tool:Github PK Tool


Organizations
tweag

Connor Baker's starred repositories

cupy

NumPy & SciPy for GPU

Language:PythonLicense:MITStargazers:9347Issues:128Issues:2290

jetson_stats

📊 Simple package for monitoring and control your NVIDIA Jetson [Orin, Xavier, Nano, TX] series

Language:PythonLicense:AGPL-3.0Stargazers:2147Issues:33Issues:421

egg

egg is a flexible, high-performance e-graph library

Language:RustLicense:MITStargazers:1359Issues:23Issues:138

MatX

An efficient C++17 GPU numerical computing library with Python-like syntax

Language:C++License:BSD-3-ClauseStargazers:1198Issues:24Issues:192

MambaVision

Official PyTorch Implementation of MambaVision: A Hybrid Mamba-Transformer Vision Backbone

Language:PythonLicense:NOASSERTIONStargazers:743Issues:17Issues:36

metal-benchmarks

Apple GPU microarchitecture

Language:MetalLicense:MITStargazers:464Issues:12Issues:6

mazeppa

A modern supercompiler for call-by-value functional languages

Language:OCamlLicense:MITStargazers:369Issues:8Issues:20

vscode-nix-ide

Nix language support for VSCode editor [maintainer: @jnoortheen]

Language:TypeScriptLicense:MITStargazers:287Issues:6Issues:52

nomia

A system for precise, efficient resource management across every domain and resource type.

Language:NixLicense:Apache-2.0Stargazers:159Issues:11Issues:8

slothy

Assembly super-optimization via constraint solving

Language:AssemblyLicense:NOASSERTIONStargazers:157Issues:8Issues:14

Burstormer

SOTA for Burst Super-resolution, Low-light Burst Image Enhancement, Burst Image De-noising

MIA-VSR

CVPR 2024-Video Super-Resolution Transformer with Masked Inter&Intra-Frame Attention

Language:PythonLicense:Apache-2.0Stargazers:87Issues:13Issues:10

nvImageCodec

A nvImageCodec library of GPU- and CPU- accelerated codecs featuring a unified interface

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:68Issues:9Issues:16

stateless

Statically typed, purely functional effects for Python.

Language:PythonLicense:MITStargazers:66Issues:2Issues:3

BracketIRE

[arXiv 2024] Exposure Bracketing is All You Need for Unifying Image Restoration and Enhancement Tasks

Algebraic-NCD

A package for defining deep learning models using categorical algebraic expressions.

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

AdaBM

[CVPR2024] Official Code for the "AdaBM: On-the-Fly Adaptive Bit Mapping for Image Super-Resolution"

PatchScaler

PatchScaler: An Efficient Patch-independent Diffusion Model for Super-Resolution

gpu_ecc_alignment

Cuda implementation of the ecc image alignment algorithm

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

nixpkgs-vet

Tool to vet (check) Nixpkgs, including its pkgs/by-name directory

Language:RustLicense:MITStargazers:22Issues:8Issues:20
Language:PythonLicense:MITStargazers:21Issues:1Issues:2

stdenv

Minimal repo to create a nix stdenv

Language:NixLicense:MITStargazers:19Issues:0Issues:0

egraph-visualizer

Interactive visualizer for e-graphs

Language:TypeScriptLicense:MITStargazers:16Issues:0Issues:0

SHerLOC

A StableHLO analyzer in Lean

Language:LeanLicense:Apache-2.0Stargazers:15Issues:6Issues:0

rethink-reg

Mamba? Catch The Hype Or Rethink What Really Helps for Image Registration @WBIR2024

License:MITStargazers:5Issues:0Issues:0

lndir-simple

Xorg's lndir utility, but optimized for nixpkgs

Language:ShellLicense:GPL-3.0Stargazers:2Issues:0Issues:0

ANPU

A formalization of the NKI ISA

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

TenCert

Verified tensor compilation in Lean

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

TensorLib

A verified tensor library in Lean

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