Skip to content
View benjaminhottell's full-sized avatar
2 followers · 2 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report benjaminhottell

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.

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

Stars

Showing results

bigboggy / derp

Creates skill-issues

2 Updated Feb 15, 2026

coin-or / Ipopt

COIN-OR Interior Point Optimizer IPOPT

C++ 1,778 317 Updated May 25, 2026

coin-or-tools / ThirdParty-ASL

COIN-OR autotools harness to build AMPL Solver Library

Shell 8 6 Updated Dec 14, 2024

coin-or-tools / ThirdParty-Mumps

COIN-OR autotools harness to build Mumps

Shell 24 18 Updated May 25, 2026

OpenMathLib / OpenBLAS

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

C 7,555 1,706 Updated Aug 8, 2026

ankitects / anki

Anki is a smart spaced repetition flashcard program

Rust 29,652 3,130 Updated Aug 10, 2026

9001 / copyparty

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Python 46,162 1,880 Updated Aug 6, 2026

dxing97 / subs2cia

Condensed Immersive Audiovisual media generator from subtitles for language learning

Python 124 16 Updated Jun 24, 2025

morhetz / gruvbox

Retro groove color scheme for Vim

Vim Script 15,667 1,126 Updated Jun 8, 2026

T4ras123 / ascii-love

Make people you love feel appreciated.

C 27 1 Updated Jan 3, 2025