Skip to content
View aosjmi's full-sized avatar
5 followers · 45 following

Block or report aosjmi

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@lucianchauvin
Lucian lucianchauvin
meow

Texas A&M University Austin/College Station

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@openbsd
OpenBSD openbsd
OpenBSD cvs repository conversions for public consumption.

Calgary, AB, Canada

@zx2c4
Jason A. Donenfeld zx2c4
This is only an incomplete read-only mirror. Go to https://git.zx2c4.com/ for real repositories.
@nomemory
Andrei Ciobanu nomemory
I make computers do as I say.

Bucharest, Romania

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Victoria, BC

@shinji-kono
Shinji KONO shinji-kono

University of the Ryukyus

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Antwerp / University of Padova Augsburg, Germany

@raviqqe
Yota Toyama raviqqe

On the Internet

@UlfNorell
Ulf Norell UlfNorell
@andreasabel
Andreas Abel andreasabel

Chalmers and Gothenburg University Gothenburg, Sweden

@metamath
Metamath metamath
@vekatze
vekatze
@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@edwinb
Edwin Brady edwinb
@keijiro
Keijiro Takahashi keijiro

Unity Technologies Japan Japan

@lpil
Louis Pilfold lpil
Creator of the Gleam programming language.

London, UK

@taskylizard
taskylizard
‧₊˚·⊹˚.⋆･ﾟﾟ･⋆.‧⁺˖✧･ﾟ:*:･ﾟ✧⁺˖‧.⋆･ﾟﾟ･˚⊹·ﾟ✧˚₊‧
@yuriy-chumak
Yuriy yuriy-chumak

Kiev, Ukraine

@neoeno
Kay Lack neoeno
HEY YOU STOP LOOKING AT MY CONTRIBUTIONS

London, UK

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@karino2
karino2
@cupnes
Yuma Ohgami cupnes
@minoki
ARATA Mizuki minoki
a Haskell enthusiast, a GHC contributor, the author of LunarML

Japan

@OLDlayeratwork
Please follow @franzinc OLDlayeratwork
The repos in this account were migrated to @franzinc

Franz Inc.

@mnieper
Marc Nieper-Wißkirchen mnieper

University of Augsburg Augsburg, Germany

@g000001
g000001 g000001

Onda Horinouchi

@smokingwolf
SmokingWOLF smokingwolf
ゲーム開発者。片道勇者、WOLF RPGエディター、シルフェイドシリーズの作者です。
@dimdenGD
dimden dimdenGD
open
@Fijxu
Fijxu
lol
@leahneukirchen
Leah Neukirchen leahneukirchen
she/her · they/them

Munich, Germany

@yosshin4004
yosshin4004

Japan

@AlexCharlton
Alex Charlton AlexCharlton

San Francisco, CA

@tildearrow
tildearrow
hope is with us.
@ktakashi
Takashi Kato ktakashi

The Netherlands

@scheme-requests-for-implementation
SRFI scheme-requests-for-implementation
Scheme Requests for Implementation
@nethical6
Nethical nethical6
18. open to internships

@Curbox-app Darjeeling

@baku89
Baku Hashimoto baku89
橋本 麦 video director・tool developer

Tokyo, Japan

@gorhill
Raymond Hill gorhill
_

Canada / Québec

@rui314
Rui Ueyama rui314

Blue Whale Systems Tokyo

@shirok
Shiro Kawai shirok
Lisper, Schemer, Actor

Scheme Arts, LLC Honolulu, HI

@hajimehoshi
Hajime Hoshi hajimehoshi
CTO at Odencat. Author of Ebitengine.

Odencat Tokyo, Japan

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding