Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View DreamLinuxer's full-sized avatar
25 followers · 72 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report DreamLinuxer

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 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

Stars

Showing results

AndrasKovacs / elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Haskell 738 46 Updated Aug 13, 2025

cloudflare / pingora

A library for building fast, reliable and evolvable network services.

Rust 25,371 1,503 Updated Oct 31, 2025

JacquesCarette / QuantumPi

Code repository for our work on Quantum Pi

Agda 10 Updated Jun 4, 2024

sweirich / lambda-n-ways

Benchmarks for capture-avoiding substitution

HTML 120 8 Updated May 30, 2025

agda / agda2hs

Compiling Agda code to readable Haskell

Agda 194 46 Updated Nov 4, 2025

sunknudsen / guides

Explore guides

Shell 906 108 Updated May 21, 2025

agda / cubical

An experimental library for Cubical Agda

Agda 510 156 Updated Oct 24, 2025

cisco / ChezScheme

Chez Scheme

Scheme 7,189 1,007 Updated Nov 4, 2025