Skip to content
View knardi's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report knardi

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

Stars

Showing results

haskell / cabal

Official upstream development repository for Cabal and cabal-install

Haskell 1,644 701 Updated Jan 24, 2025

UniMath / Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

Coq 241 20 Updated Sep 10, 2014

knardi / multi_spork

Forked from phuongnd08/multi_spork

Run cucumber and rspec with spork in parallel

Ruby 1 Updated May 26, 2012

knardi / website

Forked from emberjs/website

Source for emberjs.com

JavaScript 1 Updated May 22, 2012

phuongnd08 / multi_spork

Run cucumber and rspec with spork in parallel

Ruby 14 4 Updated Apr 10, 2012

emberjs / website

Source for emberjs.com

HTML 655 1,322 Updated Mar 21, 2019