Skip to content
View a1trl9's full-sized avatar
🦊
🦊
33 followers · 85 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report a1trl9

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

5 results for forked starred repositories
Clear filter

jetafese / btor2mlir

Forked from agurfinkel/btor2mlir

Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification

C++ 20 4 Updated Jul 8, 2026

ctrlpvim / ctrlp.vim

Forked from kien/ctrlp.vim

Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

Vim Script 5,640 260 Updated Jul 25, 2026

danbovey / react-infinite-scroller

Forked from guillaumervls/react-infinite-scroll

⏬ Infinite scroll component for React in ES6

JavaScript 3,296 512 Updated Feb 21, 2024

kitze / custom-react-scripts

Forked from react/create-react-app

[DEPRECATED, use customize-cra] Allow custom config for create-react-app without ejecting

JavaScript 988 91 Updated May 25, 2023

bordaigorl / sublime-evernote

Forked from timlockridge/SublimeEvernote

Open and Save Evernote notes from Sublime Text 3 using Markdown

Python 1,144 100 Updated Sep 20, 2022