Skip to content
Avatar
17 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@OUPL
Block or Report

Block or report bagnalla

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. hakan Public

    A functional programming language with algebraic datatypes and typeclasses.

    Haskell 2

  2. AAL Public

    Array Animation Language

    JavaScript 2

  3. Simp Public

    Solver-aided Imp

    Haskell

  4. puddi Public

    3D Graphics Engine

    C

  5. recursive-domains Public

    Solving recursive domain equations in Coq.

    Coq

  6. sexp-trees Public

    Interactive s-expression tree viewer.

    JavaScript 7

208 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2022

Created 1 commit in 1 repository
58 contributions in private repositories Oct 1 – Oct 27

Seeing something unexpected? Take a look at the GitHub profile guide.