Skip to content
View jfmc's full-sized avatar
58 followers · 43 following

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@imdea-software @ciao-lang

Block or report jfmc

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
@simonefulvio-rollini
simonefulvio-rollini
@hirrolot
hirrolot
At any cost, but for free
@pstuckey
Peter Stuckey pstuckey
@codyroux
Cody Roux codyroux
@mciccale
Marco Ciccalè Baztán mciccale
Ph.D. student in Computer Science

IMDEA Software Madrid

@leanprover
Lean leanprover
Lean Prover
@ciao-lang
The Ciao Programming Language ciao-lang
A general purpose, multi-paradigm programming language in the Prolog family

Earth

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@nunoplopes
Nuno Lopes nunoplopes

University of Lisbon Lisbon, Portugal

@pmoura
Paulo Moura pmoura
Logtalk author, Logtalk and Prolog developer

Portugal

@igcontreras
igcontreras
@wintersteiger
Christoph M. Wintersteiger wintersteiger

@imandra-ai London, UK

@matsc-at-sics-se
Mats Carlsson matsc-at-sics-se
Constraint programmer with an interest in cool languages such as Russian and Georgian.

RISE Research Institutes of Sweden Uppsala, Sweden

@nicos-angelopoulos
Nicos Angelopoulos nicos-angelopoulos
Lecturer in computational systems immunity

Cardiff University London

@ptarau
Paul Tarau ptarau

University of North Texas

@andsanmar
Andrés Sánchez andsanmar

Madrid

@triska
Markus Triska triska
https://www.metalevel.at/t

Vienna

@GJDuck
GJDuck

National University of Singapore

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@MattPD
Matt MattPD
@jpgallagher
jpgallagher

Roskilde

@zsomogyi
Zoltan Somogyi zsomogyi
@PaulBone
Paul Bone PaulBone
Mozilla engineer, @PlasmaLang author. Interested in programming language implementation (compilers and runtimes) and parallelism.

@mozilla Melbourne, Australia

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@friguzzi
Fabrizio Riguzzi friguzzi

Dipartimento di Matematica e Informatica - Università di Ferrara Ferrara, Italy

@hakank
Hakan Kjellerstrand hakank
Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.

Software Developer (Retired) / Independent Researcher Malmoe, Sweden

@regehr
John Regehr regehr
CS professor at the University of Utah

University of Utah Salt Lake City, UT, USA

@wothke
wothke
I used to like using github. But since it can no longer be used without that new 2-way authentication garbage, I've moved everything to bitbucket.
@rdicosmo
Roberto Di Cosmo rdicosmo

Software Heritage, Inria and University Paris Cité Paris

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

AWS Seattle

@m00nlight
m00nlight

Earth

@caballa
Jorge Navas caballa
Working on static analysis at Certora

Certora USA

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@bishoksan
Bishoksan bishoksan

The University Of Melbourne Australia

@davidmalcolm
David Malcolm davidmalcolm
FLOSS developer at Red Hat, currently focusing on GCC

Red Hat Earth

@leuschel
Michael Leuschel leuschel

University of Düsseldorf

@danluu
Dan Luu danluu

https://danluu.com Vancouver, BC

@vscosta
vscosta
@flavioc
Flávio Cruz flavioc

Pittsburgh, PA

@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@pierreganty
Pierre Ganty pierreganty
Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.

@imdea-software Spain

@Alexpux
Алексей Alexpux
@JUrban
JUrban