Skip to content
View winitzki's full-sized avatar
💭
Working on "Science of Functional Programming" book
💭
Working on "Science of Functional Programming" book
333 followers · 0 following

Sponsoring

@dhall-lang

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Block or report winitzki

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

Pinned Loading

  1. scall scall Public

    A reference implementation of Dhall in Scala

    Scala 7

  2. sofp sofp Public

    A free book: "The Science of Functional Programming"

    TeX 1.4k 99

  3. talks talks Public

    Talk slides for recent presentations

    TeX 45 14

  4. chymyst-book chymyst-book Public

    Concurrency in Reactions: Declarative multicore programming in Scala

    CSS 7 2

  5. chymyst-core chymyst-core Public

    Forked from Chymyst/chymyst-core

    Declarative concurrency in Scala - The implementation of the chemical machine

    Scala 2 1

  6. linear-algebra-book linear-algebra-book Public

    The full source code and hyperlinked PDF of the book "Linear Algebra via Exterior Products" (2010)

    TeX 105 16