FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

bts (Brian Schroeder) · GitHub

Overview Repositories 82 Projects Packages Stars 558
101 followers · 16 following

Achievements

x4x3

Achievements

x4x3

Organizations

Block or report bts

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. jj-vcs/jj jj-vcs/jj Public

    A Git-compatible VCS that is both simple and powerful

    Rust 31.7k 1.2k

  2. LeventErkok/sbv LeventErkok/sbv Public

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

    Haskell 267 51

  3. deferred-substitution deferred-substitution Public

    An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

    Haskell 15 1

  4. lower lower Public

    Lowering a surface syntax into different intermediate representations

    Haskell 1

  5. columnate columnate Public

    Small unix utility to columnate data sets without stripping color codes

    Haskell 4 1

  6. templates templates Public

    A collection of nix flake templates

    Nix 1

Back | FazBrowse Home | New Git URL