Skip to content
View phile314's full-sized avatar
19 followers · 4 following
  • Zürich, Switzerland

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@agda @UU-ComputerScience

Block or report phile314

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

ellie-app / ellie

The Elm Live Editor

Elm 739 57 Updated Jan 14, 2023

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,569 367 Updated Feb 6, 2025

zfoh / HaskellerZ

Notes and files from HaskellerZ meetups.

HTML 212 38 Updated Jan 27, 2020

nightkr / Sbtix

Generates Nix definitions for your SBT builds

Scala 42 12 Updated Jun 6, 2018

whipper-team / whipper

Python CD-DA ripper preferring accuracy over speed

Python 1,190 92 Updated Nov 25, 2024

retorquere / zotero-better-bibtex

Make Zotero effective for us LaTeX holdouts

TypeScript 5,565 297 Updated Feb 10, 2025

goldfirere / ghc

Forked from ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Haskell 24 1 Updated Sep 15, 2018

NixOS / nixpkgs

Nix Packages collection & NixOS

Nix 19,258 14,891 Updated Feb 11, 2025

haskell-CI / haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Haskell 440 72 Updated Jan 15, 2025