Skip to content
View steshaw's full-sized avatar
👨‍💻
Loves programming languages
👨‍💻
Loves programming languages
434 followers · 776 following

Achievements

Achievement: YOLOAchievement: Starstruckx4Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Starstruckx4Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@apache @NixOS @bfpg @idris-lang @type-theory

Block or report steshaw

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

Starred repositories

6 stars written in ATS
Clear filter

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

ATS 354 54 Updated Oct 26, 2024

vmchale / polyglot

Tool to count lines of source code.

ATS 249 6 Updated Jan 31, 2024

githwxi / ATS-Xanadu

Bootstrapping ATS3

ATS 197 14 Updated Dec 1, 2024

xanadu-lang / xanadu

This repository is supposed to hold a released version of Xanadu

ATS 23 2 Updated Jul 26, 2021

githwxi / ATS-Temptory

For supporting template-based programming

ATS 20 3 Updated Jun 21, 2020

xanadu-lang / xinterp

An interpreter for the D3-level syntax of ATS3/Xanadu

ATS 10 3 Updated Jun 6, 2021

Starred topics