Skip to content
View Second-Last's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Second-Last

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

Lists (2)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

yuweihao / MambaOut

MambaOut: Do We Really Need Mamba for Vision? (CVPR 2025)

Python 2,222 40 Updated Mar 9, 2025

dolio / turing

An Agda formalization of the halting problem for Turing machines

Agda 6 Updated Oct 17, 2023

nmmull / CS400-Lib

An Agda Library for the course CAS CS 400 at Boston University

Agda 2 Updated Apr 10, 2024

nmmull / CS491-S24

Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)

Agda 3 1 Updated Aug 21, 2024

polazarus / typst-svg-emoji

Support Emoji in Typst now!

Python 16 2 Updated Mar 25, 2024

cetz-package / cetz

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Typst 1,133 48 Updated Mar 15, 2025
Showing results