Skip to content
View binghe's full-sized avatar
🎯
Böhm trees
🎯
Böhm trees
1.3k followers · 99 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@usocket
Block or Report

Block or report binghe

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
@ianshil
Ian Shillito ianshil

Australian National University

@pclayton
Phil Clayton pclayton
@drdhaval2785
Dr. Dhaval Patel drdhaval2785

I.A.S. Gujarat, India

@cannam
Chris Cannam cannam

London

@ptroja
Piotr Trojanek ptroja
@ejcatt
ejcatt
@homeier
Peter Vincent Homeier homeier
@Eric-C-Hall
Eric Hall Eric-C-Hall
@tjark
Tjark Weber tjark
@kpoeck
Karsten Poeck kpoeck

Frankfurt, Germany

@snunez1
Steve Nunez snunez1

Symbolics Singapore

@acjf3
acjf3
@zhscn
zhscn
@dram
Xin Wang dram

China

@Maplesoft-fmigroup
Maplesoft FMI Maplesoft-fmigroup

Maplesoft Waterloo, Canada

@gendl
Forked third-party libs gendl
These are forks of third-party libs which are used by Gendl https://gitlab.common-lisp.net/gendl/gendl for github hosted projects where i might make a PR.

Metro Detroit

@JayMellor
Jay Mellor JayMellor
Hi! I enjoy writing functional code and am especially interested in Algebraic Data Types and lisps.
@mmontone
Mariano Montone mmontone
Interactive programming environments are the way to go. Smalltalk, Emacs, Common Lisp.

La Plata, Buenos Aires, Argentina

@leximation
Leximation leximation

Leximation, Inc. San Rafael, CA

@jetmonk
jetmonk
@avodonosov
Anton Vodonosov avodonosov

Minsk, Belarus

@guicho271828
Masataro Asai guicho271828
AI Researcher on Optimization, Planning & Scheduling.

@IBM Research Boston, Planet Lisp

@Hexstream
Jean-Philippe Paradis Hexstream
20 years of programming, 15 years of Common Lisp, 10 years of Common Lisp Open Source.

HexstreamSoft near Montréal, Québec, Canada

@sabrinazhengliu
Sabrina Liu sabrinazhengliu

University of Colorado Boulder; Western Union Colorado, USA

@sharplispers
sharplispers sharplispers
A group of Common Lisp hackers who occasionally maintain otherwise abandoned or quasi-abandoned Common Lisp software packages
@docker
Docker docker
Docker helps developers bring their ideas to life by conquering the complexity of app development.

San Francisco, CA

@contrapunctus-1
contrapunctus-1
@polyml
polyml
@rebryant
Randal Bryant rebryant

Pittsburgh, PA

@stackmma
Mathematica Stack Exchange Community stackmma
@HOL-Theorem-Prover
HOL Theorem Proving System HOL-Theorem-Prover
@kaveh808
Kaveh Kardan kaveh808
@sgouezel
sgouezel
@ngwese
Greg Wuller ngwese

california

@nyoungstudios
Nathaniel Young nyoungstudios
Purdue University computer science graduate.

San Francisco Bay Area

@ZhuoZoeyChen
Zhuo (Zoey) Chen ZhuoZoeyChen
theoretical compsci dreamer

University of Melbourne

@lispm
Rainer Joswig lispm
Lisp Hacker

Germany

@edicl
Common Lisp Libraries by Edi Weitz edicl
@HeikoBecker
Heiko Becker HeikoBecker

itemis AG Germany

@arolle
arolle
@jdyeager
jdyeager
@seL4
seL4 microkernel and related repositories seL4
Provided by the seL4 Foundation
@enmag
Enrico Magnago enmag
@Wukix
Wukix

Wukix Silicon Valley

@RocketMan
Jim Mason RocketMan
@oskarabrahamsson
Oskar Abrahamsson oskarabrahamsson
@hrutvik
Hrutvik Kanabar hrutvik
@talsewell
Thomas Sewell talsewell
Baby academic and itinerant proof engineer. Currently at UNSW.

UNSW Sydney, Australia

@noxrepo
NOX Repo noxrepo
@havelund
Klaus Havelund havelund

NASA Jet Propulsion Laboratory Los Angeles, USA