Skip to content
View nuudlman's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
20 followers · 70 following
  • The University of Texas at Austin
  • Austin, TX
  • 01:23 (UTC -05:00)

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Highlights

  • Pro

Organizations

@LonghornGaming

Block or report nuudlman

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM Other Updated Oct 4, 2024

  • galeshapley Public

    Forked from hwatheod/galeshapley-lean

    Formalization in Lean of some results related to stable matchings and the Gale-Shapley algorithm

    Lean MIT License Updated Oct 2, 2024

  • haas Public

    A simple HaaS app built with Phoenix and Elixir

    Elixir Updated Sep 29, 2024

  • rtf329c Public

    Rust based games for the interactive component of RTF 329C

    Rust Apache License 2.0 Updated Sep 13, 2024

  • rustc-nightly-ice Public

    Rust Updated Sep 7, 2024

  • obsidian-imopt Public

    Image Optimizer for Obsidian

    TypeScript Apache License 2.0 Updated Jul 22, 2024

  • HVM Public

    Forked from HigherOrderCO/HVM

    A massively parallel, optimal functional runtime in Rust

    Cuda Apache License 2.0 Updated Jul 2, 2024

  • math2001 Public

    Forked from hrmacbeth/math2001

    Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

    HTML Updated Jul 1, 2024

  • mathematics_in_lean Public

    Forked from leanprover-community/mathematics_in_lean

    The Mathematics in Lean tutorial.

    HTML Updated Jun 14, 2024

  • vscode-pdfviewer Public

    Forked from tomoki1207/vscode-pdfviewer

    Show PDF preview in VSCode.

    JavaScript Other Updated Jun 14, 2024

  • 1brc Public

    Forked from gunnarmorling/1brc

    1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

    Java Apache License 2.0 Updated Jan 3, 2024

  • libc Public

    Forked from rust-lang/libc

    Raw bindings to platform APIs for Rust

    Rust Apache License 2.0 Updated Dec 30, 2023

  • kak-tree-sitter Public

    Forked from hadronized/kak-tree-sitter

    tree-sitter meets Kakoune

    Rust Other Updated Oct 9, 2023

  • verilator-use-after-free-repro Public

    CMake The Unlicense Updated Oct 4, 2023

  • miniature-sniffle Public

    Verilog Apache License 2.0 Updated Jun 20, 2023

  • nvim_rc Public

    Forked from ms-jpq/nvim_rc
    Python Updated Jun 14, 2022

  • nuudlman Public

    Updated Jun 7, 2022

  • risotto Public

    Forked from joeroe/risotto

    A minimalist, responsive hugo theme inspired by terminal ricing aesthetics.

    CSS MIT License Updated Apr 20, 2022

  • obs-studio Public

    Forked from obsproject/obs-studio

    OBS Studio - Free and open source software for live streaming and screen recording

    C GNU General Public License v2.0 Updated Apr 17, 2022

  • FFmpeg Public

    Forked from FFmpeg/FFmpeg

    Mirror of git://source.ffmpeg.org/ffmpeg.git

    C Other Updated Apr 17, 2022

  • equalizer-apo-txts Public archive

    A collection of equalizer apo config files for various headphones

    Creative Commons Zero v1.0 Universal Updated Dec 16, 2021

  • OcclusionCulling Public

    Forked from GameTechDev/OcclusionCulling

    Demonstrates a software (CPU) based approach to occllusion culling using multi-threading and SIMD instructions to improve performance.

    C++ Apache License 2.0 Updated Jul 21, 2020