Skip to content
View gallais's full-sized avatar
323 followers · 152 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

  • Pro

Organizations

@agda @idris-lang @coqtail @msp-strath @poplmark-reloaded @spls-series @idris-community @frex-project @scottish-pl-institute

Block or report gallais

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

4 stars written in HTML
Clear filter

sweirich / lennart-lambda

Forked from steshaw/lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways

HTML 29 1 Updated Jul 22, 2021

andrejbauer / social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.

HTML 29 27 Updated Jun 18, 2020

Mediocorite / SerializedTrees

A library for creating and managing serialized trees.

HTML 2 Updated Dec 3, 2023

ensengreve / ensengreve.github.io

HTML 1 1 Updated Aug 16, 2018