Skip to content
View fsestini's full-sized avatar
23 followers · 2 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report fsestini

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

  1. zsyntax zsyntax Public

    Automated theorem prover for a linear logic-based calculus for molecular biology.

    Haskell 11

  2. nbe-weak-stlc nbe-weak-stlc Public

    Agda formalization of normalization by evaluation for the confluent simply-typed weak lambda-calculus.

    Agda 8

  3. jandom-devel/Jandom jandom-devel/Jandom Public

    An abstract-interpretation based static analyzer written in Scala.

    Scala 33 10

  4. nbe-mltt-wes nbe-mltt-wes Public

    Normalization by Evaluation for a version of Martin-Löf Type Theory with weak explicit substitutions.

    Agda 5

  5. mu-kanren mu-kanren Public

    Haskell implementation of the μKanren logic programming language.

    Haskell 3 1

  6. onyx-wm onyx-wm Public

    Minimal tiling window manager for Mac OS

    Haskell