Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View pmbittner's full-sized avatar
🏠
Working from home
🏠
Working from home
64 followers · 160 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@sp-uulm @SoftVarE-Group @VariantSync

Block or report pmbittner

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 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
@sjvie
Sören sjvie
Research assistant at Ulm University

Ulm, Germany

@2swap
2swap 2swap
I like to learn stuff
@Adomat
Adrian Hoff Adomat

IT University of Copenhagen

@NoelFB
Noel Berry NoelFB
Sometimes, when I'm in the right mood, I make videogames and art. Or something.

Canada

@MaxAtoms
Thomas M. Schöller MaxAtoms
Master's Student, Software Developer, Computer Engineer

Ulm University, Germany

@teorth
teorth
@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@RSD6170
Raphael Dunkel RSD6170

@TUBS-ISF

@flowr-analysis
flowr flowr-analysis
An analysis framework for the R programming language
@SusanCas
Susana Castillo SusanCas
@simonpj
Simon Peyton Jones simonpj

Epic Games

@nerficg-project
NeRFICG nerficg-project
A flexible Pytorch framework for simple and efficient implementation of neural radiance fields and rasterization-based view synthesis methods.

Germany

@holaadiewaldfeee
holaadiewaldfeee
@yforster
Yannick Forster yforster
Researcher in the Cambium Team at Inria Paris

Inria Paris

@paulcadman
Paul Cadman paulcadman
Software engineer, mathematician, opera lover.

London

@SoftVarE-Group
SoftVarE Group SoftVarE-Group
The working group for Software Variability and Evolution (SoftVarE) was headed by Prof. Thomas Thüm from 2020-2024 and located at the University of Ulm, Germany

Germany

@effectfully
effectfully
@guilhermejccavalcanti
Guilherme Cavalcanti guilhermejccavalcanti
Professor at IFPE.

IFPE Belo Jardim, PE, BR.

@emacs-twist
Emacs Twist emacs-twist
Reproducible package and configuration management for Emacs
@andrew-johnson-4
Andrew Johnson andrew-johnson-4
Stringly Typed

Helena, Montana

@Shoooooon
Shoooooon
@polarity-lang
Polarity polarity-lang
@TUBS-ISF
Institute of Software Engineering and Automotive Informatics TUBS-ISF
@ TU Braunschweig

Informatikzentrum, Braunschweig, Germany

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@software-competence-center-hagenberg
Software Competence Center Hagenberg GmbH software-competence-center-hagenberg
This is the official github-presence of the Software Competence Center Hagenberg

Austria

@zaklogician
Zoltan A. Kocsis zaklogician
Mathematical logic, software safety, static typing down under. Worked on seL4.
@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@flexwie
Felix Wieland flexwie
DevOps and Go enthusiast ⚙ Cloud Native ☁

@singhammer Rosenheim, Germany

@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@LambdaDelta-Lab
LambdaDelta Lab LambdaDelta-Lab
Formal Language Research Lab: Formal Methods for Natural, Logic and Programming Languages

Brazil

@testsmt
Project Yin-Yang for SMT Solver Testing testsmt
@aashishyadavally
Aashish Yadavally aashishyadavally
Assistant Professor, University of Central Florida

University of Central Florida Orlando, FL

@andersonjso
Anderson Oliveira andersonjso
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@vmmc2
Victor Miguel de Morais Costa vmmc2

Recife, Brazil

@GamesDoneQuick
Games Done Quick GamesDoneQuick
Repositories of code used for various Games Done Quick services
@sarajuhosova
Sára Juhošová sarajuhosova
PhD Candidate @ Programming Languages | TU Delft

Delft

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@blarney-lang
Blarney HDL blarney-lang
Hardware description in Haskell: libraries and applications
@turion
Manuel Bärenz turion
Mathematician, computer scientist, musician

Berlin, Germany

@jkopanski
Jakub Kopański jkopanski
@dplyukhin
Dan Plyukhin dplyukhin
Actor/model/choreographer working on the actor model and choreographic programming

University of Southern Denmark Austin, TX

@codyroux
Cody Roux codyroux
@papers-we-love
Papers We Love papers-we-love
A repository for good papers to read, PWL chapters, and PWL content.

New York, NY

@SEatUPB
Software Engineering Group at Paderborn University SEatUPB
@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@d-krupke
Dr. Dominik Krupke d-krupke
Theoretical Mind, Practical Solutions: Mastering NP-Hard Optimization Problems @ Technical University of Braunschweig

TU Braunschweig Germany

@feitosa-daniel
Daniel Feitosa feitosa-daniel
Assistant Professor @ University of Groningen

University of Groningen Netherlands

@lothran
lothran